Concurrent verification for sequential programs
Concurrent verification for sequential programs
复制标题
顺序程序的并发验证
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Wickerson John Peter
中科院分区：
文献类型：
--
作者：
Wickerson John Peter
登录
查看更多内容
可卸载模块的验证
影响因子：
0.5
作者：
B. Jacobs;Jan Smans;Frank Piessens
通讯作者：
Frank Piessens
DOI：
10.1145/964001.964024
发表时间：
2004-01
期刊：
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
影响因子：
--
作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds
通讯作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds
依赖/保证上下文中的表达式分解
DOI：
--
发表时间：
2008
期刊：
Verified Software: Theories, Tools, Experiments
影响因子：
--
作者：
Joey W. Coleman
通讯作者：
Joey W. Coleman
Ribbon Proofs - 捆绑蕴涵逻辑的证明系统
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Julian Michael Lewis Bean
通讯作者：
Julian Michael Lewis Bean
模块化依赖保证推理的显式稳定性
DOI：
10.1007/978-3-642-11957-6_32
发表时间：
2010
期刊：
Proceedings of the 29th Annual ACM Symposium on Applied Computing
影响因子：
--
作者：
John Wickerson;Mike Dodds;Matthew J. Parkinson
通讯作者：
Matthew J. Parkinson