PINCETTE Validating changes and upgrades in networked software
- Hana Chockler
- 2010
- FMCAD 2010
Conference paper
Publications
3 results at FMCAD 2010
Formal verification of arbiters using property strengthening and underapproximations
- Gadiel Auerbach
- Fady Copty
- et al.
- 2010
- FMCAD 2010
Conference paperAutomatic inference of memory fences
- Michael Kuperstein
- Martin Vechev
- et al.
- 2010
- FMCAD 2010
Conference paper