按相关排序
全部格式
全部页数
时间不限
只看优质
只看可投资
展开
排序：
相关 最多阅读 最新上传
格式：
全部 doc pdf ppt xls txt 豆单
页数：
全部 1-8页 9-100页 100页以上
时间：
全部 2024年 2023年 2022年及以前
59
基于模型转换的Dafny程序生成与验证研究.pdf
基于模型转换的Dafny程序生成与验证研究基于模型转换的Dafny程序生成与验证研究基于模型转换的Dafny程序生成与验证研究
收藏到书房
47
Leemore Dafny, Katherine Ho, and Mauricio Varela.pdf
Leemore Dafny, Katherine Ho, and Mauricio Varela
收藏到书房
19
Formal Verification with Dafny - soe.rutgers.edu.pdf
Formal Verification with Dafny - soe.rutgers.edu
收藏到书房
21
Dafny an automatic program verifier for functional….pdf
Dafny an automatic program verifier for functional…
收藏到书房
14
Examining Health Care Competition Presentation - Dafny (1.12 MB).pptx
Examining Health Care Competition Presentation - Dafny (1.12 MB)
收藏到书房
19
Dafny an automatic program verifier for functional….pdf
Dafny an automatic program verifier for functional…
收藏到书房
15
Dafny meets the Verification Benchmarks Challenge.pdf
Dafny meets the Verification Benchmarks Challenge
收藏到书房
25
The Dafny program verifier - Microsoft Research.pptx
The Dafny program verifier - Microsoft Research
收藏到书房
23
Dynamic-frame specifications in Dafny - Microsoft Research.pptx
Dynamic-frame specifications in Dafny - Microsoft Research
收藏到书房
15
Dafny, a program verifier for functional correctness - University of.pptx
Dafny, a program verifier for functional correctness - University of
收藏到书房

向豆丁求助：有没有dafny?

如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到社区论坛发帖反馈。