GLaDOS-Michigan / I4Links

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 4 years ago

Alternatives and similar repositories for I4

Users that are interested in I4 are comparing it to the libraries listed below

Sorting: