Constructing Automata from Temporal Logic Formulas: A Tutorial.
Pierre WolperPublished in: European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Keyphrases
- temporal logic
- automata theoretic
- model checking
- modal logic
- satisfiability problem
- finite state
- linear time temporal logic
- concurrent systems
- modal operators
- predicate logic
- logical formulas
- belief revision
- regular expressions
- verification method
- computation tree logic
- temporal knowledge
- transition systems
- linear temporal logic
- formal specification language
- mazurkiewicz traces
- bounded model checking
- temporally extended
- reactive systems
- model checker
- pattern matching