(Part of the great tab cleanup)
- Bryan Cook on making mathematical proofs a business at Amazon
- Informal Systems on Formal Verification of Tendermint using Apalache and TLA+
- example English specification
- example code in TLA+
(Part of the great tab cleanup)
No comments:
Post a Comment