Formal Analysis of Scientific-Computation Methods. - Gadiel Auerbach; Orna Kupferman (ADHS, 2003)

Formal verification of arbiters using property strengthening and underapproximations. - Gadiel Auerbach; Fady Copty; Viresh Paruthi (FMCAD, 2010)