| 释义 |
Hoare logic
基本例句
霍尔逻辑
During the verification phase, the program invariant is reasoned about withHoare logicand specified by duration formulae.首先进行形式化的需求分析，需求及其假设用时段演算表示，其次严格化地描述算法和参数的选取。
On one end of the spectrum are powerful frameworks such asHoare logic, algebraic specification languages, modal logics, and denotational semantics.在涉及面的一端是强大的框架，像Hoare逻辑、代数规范语言、模型逻辑和形式语义学。 |