thisisbenmanley/I4-dafny
The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"
Python
Stargazers
No one’s star this repository yet.
The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"
Python
No one’s star this repository yet.