Difference between revisions of "A Language-Independent Program Verification Framework"

From FSL
Jump to: navigation, search
(Created page with "<private> == ISoLA 2018 Submission == <pubbib id='chen-rosu-2018-isola-submission' template='PubDefaultWithAbstractAndTitle' /> </private>")
 
m
 
(One intermediate revision by one user not shown)
Line 1: Line 1:
 +
== ISoLA 2018 ==
 +
<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>

Latest revision as of 23:14, 4 December 2018

[edit] 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


Personal tools
Namespaces

Variants
Actions
Navigation