Gadiel Auerbach

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Gadiel Auerbach, Fady Copty, Viresh Paruthi
Formal verification of arbiters using property strengthening and underapproximations. FMCAD (2010)
Gadiel Auerbach, Orna Kupferman
Formal Analysis of Scientific-Computation Methods. ADHS (2003)