A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足（VMU）的数学概念来驱动抽象精化的验证过程。
A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足（VMU）的数学概念来驱动抽象精化的验证过程。
应用推荐