informalsystems/tla-apalache-workshop
Material for a workshop on Apalache and TLA+. To be populated with more examples.
Apache-2.0
Stargazers
- bugzmanovNew York
- bvisch
- franchb
- heidihoward@Microsoft
- hengxinNanjing University (南京大学)
- ivan-gavran
- jonnydubowsky@sensecollective, Effector Finance, Rock 'n Renew, Jonny Lives!
- konnovIndependent
- lemmy@microsoft
- LiDJin@plctlab
- ligurio
- monopoly-db
- mookerjiCalifornia
- neocastro
- nikitavoloboevMadrid
- pozorfluo
- romac@informalsystems
- savage-engineer@influxdata
- slaiyer
- uguryavuzBoston University
- vitorenesduarte
- zsystmB-Harvest