关键词：模型检验；构件组合；抽象精化；测试用例生成 [gap=985]Key words：model checking；component composition；abstraction refinement；test case generation
基于24个网页-相关网页
A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足（VMU）的数学概念来驱动抽象精化的验证过程。
The "Validation" 3 dimension traces the different abstraction or refinement levels during the development process to each other.
在开发过程中，“确认”3维度追溯不同的抽象或细化级别。
This kind of refinement can reduce the level of abstraction.
这种类型的优化可能减少抽象级别。
应用推荐