Lobsters
- Using TLA⁺ at Work: Designing a Snapshot Coordination System https://ahelwer.ca/post/2023-04-05-checkpoint-coordination/ 13 comments distributed , formalmethods
Linked pages
- https://github.com/rust-lang/lang-team/blob/66a43b3ffb8ae3d2a4ba1e5a43864b1f92876409/design-meeting-minutes/2022-11-25-contracts.md 2 comments
- SPARK (programming language) - Wikipedia https://en.wikipedia.org/wiki/SPARK_(programming_language) 1 comment
- Specifying Systems https://lamport.azurewebsites.net/tla/book.html 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:ahelwer.ca
Search title: Using TLA⁺ at Work -
See how to search.