Model-checking of infinite Kripke structures defined by simple graph grammars.
Yves-Marie QuemenerThierry JéronPublished in: Electron. Notes Theor. Comput. Sci. (1995)
Keyphrases
- model checking
- temporal logic
- graph grammars
- finite state
- formal verification
- model checker
- automated verification
- temporal properties
- formal specification
- bounded model checking
- context free
- symbolic model checking
- formal methods
- modal logic
- verification method
- transition systems
- epistemic logic
- timed automata
- alternating time temporal logic
- artificial intelligence
- reinforcement learning