Publications

2 results at FMCAD 2014

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