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