David Frazier

According to our database, David Frazier authored at least 3 papers between 2008 and 2011.

Collaborative distances:

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

2011

Building a push-button RESOLVE verifier: Progress and challenges.

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

Formal Aspects Comput., 2011

2009

Generating Verified Java Components through RESOLVE.

Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman

Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009

2008

Incremental Benchmarks for Software Verification Tools and Techniques.

Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier

Proceedings of the Verified Software: Theories, 2008