Decision Procedures for the Temporal Verification of Concurrent Lists.
Alejandro SánchezCésar SánchezPublished in: ICFEM (2010)
Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- reasoning problems
- temporal information
- temporal constraints
- model checking
- temporal reasoning
- temporal data
- artificial intelligence
- query containment
- conjunctive queries
- satisfiability problem
- quantified boolean formulas
- inference rules
- first order logic
- np complete
- search space
- relational databases