Formal verification of arbiters using property strengthening and underapproximations
- Gadiel Auerbach
- Fady Copty
- et al.
- 2010
- FMCAD 2010
Publications
2 results for Gadiel Auerbach
Formal analysis of scientific-computation methods
- Gadiel Auerbach
- Orna Kupferman
- 2003
- ADHS 2003