Abstraction and BDDs Complement SAT-Based BMC in DiVer.
Aarti GuptaMalay K. GanaiChao WangZijiang YangPranav AsharPublished in: CAV (2003)
Keyphrases
- bounded model checking
- heuristic search
- formal verification
- model checking
- ai planning
- answer set programming
- binary decision diagrams
- sat solvers
- high level
- temporal logic
- answer sets
- data abstraction
- timed automata
- constraint satisfaction
- multi agent systems
- knowledge compilation
- classical planning
- search algorithm
- data structure
- constraint solver
- boolean satisfiability
- reinforcement learning