From First-order Temporal Logic to Parametric Trace Slicing.
Giles RegerDavid E. RydeheardPublished in: RV (2015)
Keyphrases
- temporal logic
- linear temporal logic
- mazurkiewicz traces
- model checking
- satisfiability problem
- modal logic
- temporal epistemic
- concurrent systems
- bounded model checking
- predicate logic
- first order logic
- computation tree logic
- formal specification language
- belief revision
- model checker
- automata theoretic
- temporally extended
- formal methods