David Frazier

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide
Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. 23 (5) (2011)
Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman
Generating Verified Java Components through RESOLVE. ICSR (2009)
Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier
Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE (2008)