Tool for automatically inferring inductive invariants of distributed protocols.
Primary LanguageTLA
No issues in this repository yet.