【摘要】 本文主要介绍不变式产生器的具体实现。包括不变式产生规则,不变式在计算机中的表示和转换,以及定理证明的部分实现方法。更多还原

【Abstract】 The implementation of an invariant generator is presented in this paper. The generation rules, the notation and the transformation of invariants are described. The method of theorem verification is also included.更多还原