Decision Procedures Customized for Formal Verification.
Randal E. BryantSanjit A. SeshiaPublished in: CADE (2005)
Keyphrases
- decision procedures
- formal verification
- model checking
- modal logic
- theorem proving
- automated reasoning
- temporal logic
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- conjunctive queries
- satisfiability problem
- quantified boolean formulas
- tight complexity bounds
- query containment
- finite state machines
- computational complexity
- presburger arithmetic
- databases