The WhyRel Prototype for Modular Relational Verification of Pointer Programs
The WhyRel Prototype for Modular Relational Verification of Pointer Programs
复制标题
用于指针程序模块化关系验证的 WhyRel 原型
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Naumann, David A
中科院分区：
文献类型：
--
作者：
Nagasamudram, Ramana;Banerjee, Anindya;Naumann, David A
登录
查看更多内容
REFINITY 用于建模和证明程序转换规则
DOI：
--
发表时间：
2020
期刊：
Asian Symposium on Programming Languages and Systems
影响因子：
--
作者：
Dominic Steinhöfel
通讯作者：
Dominic Steinhöfel
关系霍尔逻辑三十七年：对其原理和历史的评论
DOI：
--
发表时间：
2020
期刊：
Verification and Validation
影响因子：
--
作者：
Naumann, David A
通讯作者：
Naumann, David A
动态框架：支持无限制的框架、依赖和共享
DOI：
--
发表时间：
2006
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Ioannis T. Kassios
通讯作者：
Ioannis T. Kassios
DOI：
10.1007/11547662_24
发表时间：
2005-09
期刊：
--
影响因子：
--
作者：
Tachio Terauchi;A. Aiken
通讯作者：
Tachio Terauchi;A. Aiken
超越2-安全性：用于关系程序验证的非对称产品程序
DOI：
10.1007/978-3-642-35722-0_3
发表时间：
2013
期刊：
The Lancet
影响因子：
--
作者：
G. Barthe;Juan Manuel Crespo;César Kunz
通讯作者：
César Kunz