Model checking hybrid logics (with an application to semistructured data).
Massimo FranceschetMaarten de RijkePublished in: J. Appl. Log. (2006)
Keyphrases
- model checking
- semistructured data
- epistemic logic
- temporal logic
- coalition logic
- query language
- semi structured
- data model
- regular expressions
- modal logic
- structured data
- formal verification
- expressive power
- symbolic model checking
- formal specification
- automated verification
- model checker
- raw data
- transition systems
- heterogeneous data
- temporal properties
- bounded model checking
- pspace complete
- computation tree logic
- verification method
- formal methods
- web data
- multimedia databases
- databases
- tree patterns
- object oriented
- database systems
- logical framework
- satisfiability problem
- logic programming