21 lines
833 B
Markdown
21 lines
833 B
Markdown
# Table of Contents for TLA
|
|
|
|
## Files
|
|
- [[TLA Canvas.canvas]]
|
|
- [[Untitled.md]]
|
|
- [[What is TLA?.md]]
|
|
- [[What the hell is liveness?.md]]
|
|
|
|
## Summary
|
|
This directory appears to be a collection of resources related to Temporal Logic of Actions (TLA), a formal specification language used for writing and checking specifications in system designs. The directory contains documentation, history, and introductory information on TLA, as well as a FAQ website hosted by the community.
|
|
|
|
The main topics covered in this directory include:
|
|
|
|
* What TLA is good for
|
|
* History and background of TLA+
|
|
* A description of what TLA+ does
|
|
|
|
Overall, this directory seems to be a repository of information and resources for learning about and using TLA+, with a focus on its application in system design and verification.
|
|
|
|
Generated by llama3.2:latest
|