| 摘要 |
Systems and methods for determining whether a first system model is consistent with a second system model in a verification system are provide. The method comprises generating a first constraint satisfaction problem (CSP) from a first system model; solving the first CSP to generate a first solution; generating a second CSP from a second system model; determining that the first and second system models are inconsistent, in response to the first solution failing to validate against the second CSP; solving the second CSP to generate a second solution; and determining that the first and second system models are inconsistent, in response to the second solution failing to validate against the first CSP.
|
