... Symbol Model Verification 符号模型检验 Model and System Verification 模式及系统验证 model verification and validation 模型校验 ...
基于1个网页-相关网页
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.
本文通过对网络协议形式化描述和验证问题的研究,针对网络协议的特性,给出了一种基于时态逻辑的模型系统。
Experiments concerning the verification of the mathematical model, calibration of the sensing and measuring system, and field applications are carried out on the basis of the prototype.
在研制出样机的基础上,对数学模型的验证,起重传感器测量系统的标定,以及现场测试等方面进行了全面系统的实验研究。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术,以其简洁明了和自动化程度高而引人注目。
应用推荐