Publications

2 results for Gadiel Auerbach

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