$k$-induction

Latticed $k$-Induction with an Application to Probabilistic Programs
We revisit two well-established verification techniques, $k$-induction and bounded model checking (BMC), in the more general setting of …
PDF Cite Slides DOI Artifact Evaluated Pulp Fiction
Latticed $k$-Induction with an Application to Probabilistic Programs
Latticed $k$-Induction and Probabilistic Programs

“Induction is a process of inference; it proceeds from the known to the unknown.”

– John S. Mill, 1806 – 1873
Apr 18, 2021
Latticed $k$-Induction and Probabilistic Programs