文献引用
复制
首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81604,"Name":"计算机软件"},{"ID":81605,"Name":"软件基础理论"},{"ID":81609,"Name":"程序验证"}]
Owicki-Gries逻辑
/Owicki-Gries logic/
最后更新 2024-12-04
浏览 172次
支持对并发程序的验证的一种程序逻辑，是对霍尔逻辑的扩充。此逻辑由S.诺维茨基（Susan Owicki）和D.格里斯（David Gries）于1976年提出，因此以两人的名字命名。
- 英文名称
- Owicki-Gries logic
- 所属学科
- 计算机科学技术
京公网安备 11010202008139号
