形式化验证 meaning in English
formal verification
Examples
- A secure , atomic electronic commerce protocol and its formal verification
原子的电子商务协议及其形式化验证 - By doing so , some beneficial contributions are made toward the formal verification of high level secure operating systems
从而对高安全级别操作系统的形式化验证进行了一些有益的探索。 - Another work is emphasizing on a formal verification algorithm for consistence of the sequence diagrams and the statecharts and connectivity of the sequence diagrams messages
此外，在本文中，还提出了用于顺序图与状态图的一致性、顺序图消息的连通性的形式化验证的算法。 - Using bzl logic , security , anonymity and tracing ability of the digital - cash is verified . the protocol proves strong by using the factual system and being verified by the bzl logic
通过在电子交易系统的实际应用和bzl逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。 - One of the key issues in the workflow management system is how to setup a workflow process model that has powerful present capacity , is easy to use , to exchange and to formalize
工作流管理系统中一个重要的课题就是要为待描述的过程定义提供一种通用过程描述、表现能力强和便于形式化验证的工作流过程模型。