The design objective of irrelevancy between the software and the specific instrument resource is achieved with the design method of using database and reasonable verification flow.
使用数据库技术和合理的检定流程设计方法实现了软件和具体仪器资源无关的设计目标。
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.
分析一个二进制代码的通常方式有以下几个阶段：反汇编，过程抽象，控制流程图生成，数据流分析和签名验证。
Strict mathematic verification showed that this information flow model is reasonable and safe, which can reflect the safety requirements of the Nuclear Power Plant network.
经过严格的数学证明，新的信息流模型合理且安全，能较好反映核电站网络的安全要求。
应用推荐