Towards Automatic Inference of Inductive Invariants.

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

Browse the full HotOS paper archive.