A Language-Independent Program Verification Framework

From FSL
Jump to: navigation, search

ISoLA 2018 (To Appear)

A Language-Independent Program Verification Framework
Xiaohong Chen and Grigore Rosu
ISoLA'18. 2018. To appear
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.
PDF, BIB


Personal tools
Namespaces

Variants
Actions
Navigation