オープンアクセスComputer Science

Building a push-button RESOLVE verifier: Progress and challenges

M. Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, P. Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, W. Heym, J. Kirschenbaum, J. Krone, Hampton Smith, B. Weide

2011.9.1FORMAL ASPECTS OF COMPUTING

DOI: 10.1007/s00165-010-0154-3

tlooto サマリー

This paper explains how RESOLVE takes a step towards addressing the verifying compiler grand challenge by integrating foundational and practical elements of software engineering, programming languages, and mathematical logic into a coherent framework.

要旨

要旨は利用できません。

引用形式

SITARAMAN, M., et al. Building a push-button RESOLVE verifier: Progress and challenges. FORMAL ASPECTS OF COMPUTING, 2011, 23: 607–626.