/endive

Tool for automatically inferring inductive invariants of distributed protocols.

Primary LanguageTLA

Watchers