Safety Verification and Refutation by $k$-Invariants and $k$-Induction Martin Brain, admin, Daniel Kroening, Peter Schrammel Last updated on Nov 15, 2021 PDF Cite Code DOI Formal Verification Program Analysis