A Language-Independent Program Verification Framework
Revision as of 23:14, 4 December 2018 by Xiaohong
- A Language-Independent Program Verification Framework
- Xiaohong Chen and Grigore Rosu
- ISoLA'18, Springer, pp 92-102. 2018
- Abstract. This invited paper describes an approach to language-independent deductive verification using the K semantics framework, in which an operational semantics of a language is defined and a program verifier together with other language tools are generated automatically, correct-by-construction.