Dafny 相关硕士博士期刊学术论文 - 搜论网

Dafny相关论文

A Method to Deduce and Synthesize the Dafny Programs

We propose a systematic method to deduce and syn-thesize the Dafny programs.First,the specification of problem is descri......

期刊

Dafny deductive synthesis specification transfor-mation technology recursive rel

基于模型转换的Dafny程序生成与验证研究

当今世界是一个软件定义一切的时代,尤其在安全攸关领域,需要保证计算机程序的可靠运行。这种可靠性可以通过向程序传递所有可能的......

学位

模型转换 Dafny 循环不变式生成验证

看过本文同时还关注