Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions.
Alessio LomuscioJakub MichaliszynPublished in: CoRR (2015)
Keyphrases
- temporal logic
- model checking
- regular expressions
- epistemic logic
- temporal epistemic
- modal operators
- modal logic
- monadic second order logic
- computation tree logic
- model checker
- pattern matching
- finite state machines
- satisfiability problem
- query language
- finite state
- formal verification
- finite automata
- formal specification
- linear temporal logic
- verification method
- pspace complete
- bounded model checking
- transition systems
- xml schema
- formal methods
- tree automata
- inference rules
- alternating time temporal logic
- dynamic logic
- query evaluation
- asynchronous circuits
- matching algorithm
- regular path queries
- nonmonotonic logics
- database
- databases