Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.
Richard C. HoMichael TheobaldMartin M. DeneroffRon O. DrorJoseph GagliardoDavid E. ShawPublished in: DAC (2008)
Keyphrases
- formal verification
- model checker
- bounded model checking
- model checking
- verification method
- temporal logic
- automated verification
- modal logic
- symbolic model checking
- convex hull
- conditional logic
- data points
- point sets
- artificial intelligence
- test suite
- classical logic
- test cases
- feature points
- description logics
- knowledge representation