...建立在霍尔逻辑的基础之上的，所以先简单回顾霍尔逻辑的 基本知识．在霍尔逻辑中，唯一的一种规范是霍尔三元组 （Hoare triple），由两个断言包围着一个命令组成，更为准确的 说，有两种形式的霍尔三元组，一种是部分正确性规范｛P｝C ｛q｝，该规范有效当且仅...
基于12个网页-相关网页
hoare triple
霍尔的三倍
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动