首页> 外文OA文献 >The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs

【2h】

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs

机译：验证共享变量并发程序的Reli-Guarantee方法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Qiwen Xu; Willem-Paul de Roever; Jifeng He;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology [J] . Zakowski Yannick, Cachera David, Demange Delphine, Journal of Automated Reasoning . 2019,第2期

机译：使用Re-Guarantee方法验证并行垃圾收集器
2. Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology [J] . Zakowski Yannick, Cachera David, Demange Delphine, Journal of Automated Reasoning . 2019,第2期

机译：使用符合保证方法验证并发垃圾收集器
3. CSim~2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee [J] . Sanan David, Zhao Yongwang, Lin Shang-Wei, ACM Transactions on Programming Languages and Systems . 2021,第1期

机译：CSIM〜2：使用依赖保证的并发系统的组成自验证
4. Modular Verification for Shared-Variable Concurrent Programs [C] . Jurgen Dingel CONCUR'96: Concurrency theory . 1996

机译：共享变量并发程序的模块化验证
5. Improving the quality of shared-memory concurrent programs [D] . Liu, Peng 2014

机译：提高共享内存并发程序的质量
6. Healthcare providers intentions to engage in an interprofessional approach to shared decision-making in home care programs: A mixed methods study [O] . France Légaré, Dawn Stacey, Nathalie Brière, -1

机译：医疗保健提供者在家庭护理计划中采用跨专业方法共享决策的意图：混合方法研究
7. Modular Verification for Shared-Variable Concurrent Programs [O] . Jürgen Dingel 1996

机译：共享变量并发程序的模块化验证
8. Quest for Compositionality: A Survey of Assertion-Based Proof Systems for Concurrent Programs. Part 1. Concurrency Based on Shared Variables [R] . de Roever, W. P. 1985

机译：寻求组合性：对基于断言的并发程序证明系统的调查。第1部分。基于共享变量的并发性

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs

著录项

引文网络

相似文献

相关主题

期刊订阅