形式化生成相关硕士博士期刊学术论文 - 搜论网

形式化生成相关论文

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

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

期刊

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

基于源码构件模型的嵌入式软件生成技术的研究与实现

随着智能家电类产品嵌入式软件功能和性能复杂度的不断提高,如何高效开发已成为一个严峻的挑战。智能家电类产品是典型的单片机控......

学位

智能家电源码构件代码片段构件描述块形式化生成

看过本文同时还关注