Real-Time Languages, Timed Alternating Automata, and Timed Temporal Logics: Relationships and Specifications.
Abdelaziz FellahPublished in: SCSE (2015)
Keyphrases
- model checking
- timed automata
- temporal logic
- finite state machines
- real time
- model checker
- concurrent systems
- formal specification
- transition systems
- reactive systems
- bounded model checking
- petri net
- formal verification
- finite state
- automata theoretic
- verification method
- modal logic
- real time systems
- satisfiability problem
- linear temporal logic
- mazurkiewicz traces
- predicate logic
- epistemic logic
- formal language
- description logics
- temporal knowledge
- regular languages
- temporal resolution
- np hard