Lemma Weakening for State Machine Invariant Proofs.

Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata

Browse the full APSEC paper archive.