1) SAT-BMC model checking
SAT-BMC模型检验
3) model checking
模型检验
1.
Application of model checking technology to automatically vulnerabilities finding in software;
模型检验技术在软件漏洞自动挖掘中的应用
2.
Using model checking to generate test cases for class testing;
一种基于模型检验的类测试用例生成方法
3.
Method of model checking based on linear weighted generalized list;
基于线性带权值的广义表的模型检验方法
5) model validation
模型检验
1.
Model validation is an important method to ensure its credibility.
模型检验是保证模型可信度的重要手段,根据模型输出的不同,应选用不同的检验方法。
2.
In this paper,we investigate a model validation problem when there is bounded but uncertain additive modelling error in the plant nominal model and the plant nominal model is with intended application as robust controller design.
本文研究了在控制对象的模型具有不确定的建模误差时的模型检验问题。
补充资料：BMC
分子式：
CAS号：
性质：以间苯二甲酸型不饱和聚酯树脂为基础的改进型团状模塑料，又称块状模塑料。整体模塑料与团状模塑料、块状模塑料近已倾向于统称团状模塑料。
CAS号：
性质：以间苯二甲酸型不饱和聚酯树脂为基础的改进型团状模塑料，又称块状模塑料。整体模塑料与团状模塑料、块状模塑料近已倾向于统称团状模塑料。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条