Enhancing SAT-based equivalence checking with static logic implications.
Rajat AroraMichael S. HsiaoPublished in: HLDVT (2003)
Keyphrases
- bounded model checking
- answer set programming
- logic programming
- model checking
- verification method
- linear temporal logic
- strong equivalence
- temporal logic
- answer sets
- logic programs
- asynchronous circuits
- modal logic
- ai planning
- automated reasoning
- multi valued
- version space
- knowledge base
- classical logic
- computational properties
- formal verification
- consistency checking
- deontic logic
- constraint networks
- proof theory
- integrity constraints
- domain independent