构建设计并对其进行测试，比为其行为构建形式化的证明要来得容易。
It's easier to build our designs and test them than to build formal proofs of how they will behave.
从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
最后，作者通过一个实例说明U ML状态机语义的形式化描述可以证明那些用uml描述的系统的一些重要属性是正确的。
At last, the author USES an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.
应用推荐