Difference between revisions of "A Language-Independent Program Verification Framework"
From FSL
(Created page with "<private> == ISoLA 2018 Submission == <pubbib id='chen-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle' /> </private>") |
|||
Line 1: | Line 1: | ||
+ | == ISoLA 2018 (To Appear) == | ||
+ | <pubbib id='chen-rosu-2018-isola' template='PubDefaultWithAbstractAndTitle' /> | ||
<private> | <private> | ||
== ISoLA 2018 Submission == | == ISoLA 2018 Submission == | ||
<pubbib id='chen-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle' /> | <pubbib id='chen-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle' /> | ||
</private> | </private> |
Revision as of 15:24, 3 August 2018
ISoLA 2018 (To Appear)
- 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