TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones.
Need to look more into TLA+ and formal verification with regards to software development.
1 Matching Annotations
- Jul 2020
-
lamport.azurewebsites.net lamport.azurewebsites.net
-