Verified trustworthy software systems
Verified trustworthy software systems
复制标题
经过验证的值得信赖的软件系统
DOI：
10.1098/rsta.2015.0408
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Gardner P
中科院分区：
文献类型：
--
作者：
Gardner P
引用这篇文章：Gardner P. 2017 Verified trustworthy software systems。腓横河Soc.A375：20150408。http：//dx. doi。org/10.1098/rsta。2015.0408
Cite this article: Gardner P. 2017 Verified trustworthy software systems. Phil. Trans. R. Soc. A375: 20150408. http://dx. doi. org/10.1098/rsta. 2015.0408
登录
查看更多内容
形式验证：幼苗会开花吗？
DOI：
--
发表时间：
2017
期刊：
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
影响因子：
--
作者：
Neil White;S. Matthews;R. Chapman
通讯作者：
R. Chapman
HACMS 计划：使用正式方法消除可利用的错误
DOI：
--
发表时间：
2017
期刊：
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
影响因子：
--
作者：
Kathleen Fisher;J. Launchbury;R. Richards
通讯作者：
R. Richards
DOI：
10.1098/rsta.2015.0403
发表时间：
2017-10-13
期刊：
Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
影响因子：
--
作者：
David C;Kroening D
通讯作者：
Kroening D
DOI：
--
发表时间：
2017
期刊：
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
影响因子：
--
作者：
Mark Batty
通讯作者：
Mark Batty