Gadiel Auerbach

According to our database, Gadiel Auerbach authored at least 2 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Formal verification of arbiters using property strengthening and underapproximations.

Gadiel Auerbach, Fady Copty, Viresh Paruthi

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2003

Formal Analysis of Scientific-Computation Methods.

Gadiel Auerbach, Orna Kupferman

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003