informalsystems/tla-apalache-workshop
Material for a workshop on Apalache and TLA+. To be populated with more examples.
Apache-2.0
Watchers
- 0xZakkAustin, TX
- abienkowski
- angbrav
- anton-trunovTON Foundation
- brapseMr. Wordwide
- BtruaxInformal Systems
- cason
- davekaj@ekonomia-tech
- dbkbali
- dpdanpittman@Qwoyn
- eemailme
- hu55a1n1Germany
- hvanz@informalsystems
- ivan-gavran
- jhcloos
- jtrembackBay Area
- konnovIndependent
- lilamilaNew York
- mmuljimMedia Consulting Services
- OakenKnight@informalsystems
- otrackTélécom SudParis
- rnbguy@informalsystems
- romac@informalsystems
- shonfeder@tarides
- soareschen@maybevoid
- stanlysamuelIndian Institute of Science
- thpaniInformal Systems