依赖-保证方法 - 中国百科网

高级检索

专业板块专题板块大众板块

首页

依赖-保证方法

/rely-guarantee method/

最后更新 2024-12-03

浏览 276次

最后更新 2024-12-03

浏览 276次

0 意见反馈一键引用

一种支持对并发程序的可组合验证的并发程序验证方法。对霍尔逻辑的扩充。

英文名称: rely-guarantee method

所属学科: 计算机科学技术

阅读历史

版权所有 © 2025 中国大百科全书出版社
Copyrights © 2025 by Encyclopedia of China Publishing House.All Rights Reserved
京ICP备13020690号-4 京公网安备 11010202008139号
网络出版服务许可证：(署)网出证(京)字第155号

意见反馈

感谢您的反馈

我们会尽快处理您的反馈！

谢谢！