Geometrical Product Specification and Verification 产品几何技术规范 ; 几何产品量技术规范
formal specification and verification 形式化描述与验证方法
Specification and verification of real-time system based on timed automata consist of constructing its timed automata and verifying its property.
使用时间自动机对实时系统规范和验证,主要包括对实时系统建模即构造系统的时间自动机和安全可靠性验证。
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
本文通过对网络协议形式化描述和验证问题的研究,针对网络协议的特性,给出了一种基于时态逻辑的模型系统。
应用推荐