Tool for automatically inferring inductive invariants of distributed protocols.
Primary LanguageTLA
No one’s watching this repository yet.