GLaDOS-Michigan / I4

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"
26Updated 3 years ago

Related projects

Alternatives and complementary repositories for I4