TY - GEN
T1 - A language-independent program verification framework
AU - Chen, Xiaohong
AU - Roşu, Grigore
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2018.
PY - 2018
Y1 - 2018
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85056450674&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85056450674&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-03421-4_7
DO - 10.1007/978-3-030-03421-4_7
M3 - Conference contribution
AN - SCOPUS:85056450674
SN - 9783030034207
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 92
EP - 102
BT - Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer
T2 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
Y2 - 5 November 2018 through 9 November 2018
ER -