K-induction without unrolling
- Arie Gurfinkel
- Alexander Ivrii
- 2017
- FMCAD 2017
Conference paper
Publications
5 results for Arie Gurfinkel
Pushing to the top
- Alexander Ivrii
- Arie Gurfinkel
- 2015
- FMCAD 2015
Conference paperSmall inductive safe invariants
- Alexander Ivrii
- Arie Gurfinkel
- et al.
- 2014
- FMCAD 2014
Conference paperEfficient verification of periodic programs using sequential consistency and snapshots
- Sagar Chaki
- Arie Gurfinkel
- et al.
- 2014
- FMCAD 2014
Conference paperBeyond vacuity: Towards the strongest passing formula
- Hana Chockler
- Arie Gurfinkel
- et al.
- 2008
- FMCAD 2008
Conference paper