A Language-Independent Program Verification Framework.
ISoLA(2018)
摘要
This invited paper describes an approach to language-independent deductive verification using the (mathbb {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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要