This is an old revision of the document!
FAQ
Do you need to know math to learn TLA+?
Can I use TLA+ for web development?
Do you get trace for violated temporal properties?
No, state trace for violated temporal properties is not supported.
- learning/faq.1727562441.txt.gz
- Last modified: 2024/09/28 22:27
- by
fponzi