Dafny程序相关硕士博士期刊学术论文 - 信丰网

Dafny程序相关论文

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,......

期刊

模型驱动 Dafny程序循环不变式形式化生成自动验证 model drivenDafny programloop invariantformal gene

看过本文同时还关注