Building a push-button RESOLVE verifier: Progress and challenges

Sitaraman, Murali ; Adcock, Bruce ; Avigad, Jeremy ; Bronish, Derek ; Bucci, Paolo ; Frazier, David ; Friedman, Harvey M. ; Harton, Heather ; Heym, Wayne ; Kirschenbaum, Jason ; Krone, Joan ; Smith, Hampton ; Weide, Bruce W.

Formal aspects of computing, 2011-09, Vol.23 (5), p.607-626 [Periódico revisado por pares]

London: Springer-Verlag

Texto completo disponível