Gadiel Auerbach  Gadiel Auerbach photo       

contact information

Haifa Formal Verification Execution Team Lead
Haifa Research Lab, Haifa, Israel



Formal Verification of Arbiters using Property Strengthening and Underapproximations
Gadiel Auerbach, Fady Copty, Viresh Paruthi
FMCAD, pp. 21-24, 2010


Formal Analysis Of Scientific-Computation Methods
G Auerbach, O Kupferman
Analysis and design of hybrid systems 2003 (ADHS 03): a proceedings volume from the IFAC Conference, St, pp. 295

Projects and Groups