informalsystems/modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
PythonApache-2.0
Stargazers
- 17451k
- andrey-kuprianov@informalsystems
- bvisch
- CYBAITokyo
- danwt
- denisfitz57
- fstamourVictoriaville
- Gary-oak-Star
- harrthoBerlin
- heidihoward@Microsoft
- hengxinNanjing University (南京大学)
- hu55a1n1Germany
- hvanz@informalsystems
- ivan-gavran
- JeffCarpenterCanada
- jryansLondon, UK
- kvey@ThousandBirdsInc
- ligurio
- marrowleavesShanghai, China
- monopoly-db
- nerdfiles$inoperosity
- nikitavoloboevMadrid
- pozorfluo
- relyks
- rolandogRotterdam
- romac@informalsystems
- sebastiansturm
- TonyZhangND