| 释义 |
axiomatic system短语⁹⁶⁶⁷⁷⁺⁶
基本例句
公理系统
Finally, an example is given to illustrate how to use the axiomatic system to prove a full regular property of programs.
最后，使用该语言的公理语义对一个应用实例的完全正则性质进行了形式化验证。361xs
The established axiomatic system makes a good foundation of formal description and formal improvement. 2 Propose relationship between software reliability and safety, and prove it by formal approach.
给出了软件可靠性与软件安全性之间的相互关系，并利用形式化方法对二者的相互关系给予了证明。361xs |