Gadiel Auerbach  Gadiel Auerbach photo       

contact information

Haifa Formal Verification Execution Team Lead
Haifa Research Lab, Haifa, Israel
  +972dash2dash649dash1155

links



2010

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


2003

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