DAReing to reduce the annotation overheads of verified programs
DAReing to reduce the annotation overheads of verified programs
复制标题
DAReing 减少已验证程序的注释开销
DOI：
10.48550/arxiv.1706.04023
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Grov G
中科院分区：
文献类型：
--
作者：
Grov G
登录
查看更多内容
Dafny 集成开发环境
DOI：
--
发表时间：
2014
期刊：
F-IDE
影响因子：
--
作者：
K. Leino;Valentin Wüstholz
通讯作者：
Valentin Wüstholz
DOI：
10.17863/cam.23640
发表时间：
2000-10
期刊：
ArXiv
影响因子：
--
作者：
Lawrence Charles Paulson
通讯作者：
Lawrence Charles Paulson
影响因子：
7.4
作者：
Yu Pei;Carlo A. Furia;M. Nordio;Yi Wei;Bertrand Meyer;Andreas Zeller
通讯作者：
Yu Pei;Carlo A. Furia;M. Nordio;Yi Wei;Bertrand Meyer;Andreas Zeller
三年 Sledgehammer 经验，自动和交互式定理证明者之间的实用联系
DOI：
--
发表时间：
2012
期刊：
IWIL@LPAR
影响因子：
--
作者：
Lawrence Charles Paulson;J. Blanchette
通讯作者：
J. Blanchette
DOI：
10.1016/s0898-1221(01)90039-2
发表时间：
2000
期刊：
--
影响因子：
--
作者：
Matt Kaufmann;P. Manolios;J. S. Moore
通讯作者：
Matt Kaufmann;P. Manolios;J. S. Moore