Building a push-button RESOLVE verifier: Progress and challenges (2010)

by M Sitaraman, B Adcock, J Avigad, D Bronish, P Bucci, D Frazier, H Friedman, H Harton, W Heym, J Kirschenbaum, J Krone, H Smith, B Weide
Venue:Formal Aspects of Computing