Questions tagged [tlaplus]
TLA+ (tlaplus) is a formal specification language developed by Leslie Lamport. TLA stands for "Temporal Logic of Actions."
1
question with no upvoted or accepted answers
0
votes
0
answers
21
views
Are ASM and TLA+ somehow related?
I learned about abstract state macines recently, and on first sight they seem somehow reminiscent to TLA formalism. For example both:
Are used to research possible state sequence and prove safety/...