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"
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool