A Language-Independent Program Verification Framework

From FSL
Revision as of 23:13, 4 December 2018 by Xiaohong (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

ISoLA 2018

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.
PDF, Slides(PPTX), DOI, ISoLA'18, BIB


Retrieved from "http://fsl.cs.illinois.edu/index.php?title=A_Language-Independent_Program_Verification_Framework&oldid=18643"
Personal tools
Namespaces

Variants
Actions
Navigation