I4: incremental inference of inductive invariants for verification of distributed protocols.

Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah

Browse the full SOSP paper archive.