Login / Signup
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)