Generating an ATL Model Checker using an Attribute Grammar.
Florin StoicaLaura Florentina StoicaPublished in: CoRR (2018)
Keyphrases
- specification language
- model checker
- formal specification
- model checking
- description language
- temporal logic
- symbolic model checking
- alternating time temporal logic
- multi agent systems
- formal verification
- formal methods
- epistemic logic
- natural language
- reactive systems
- fuzzy sets
- domain specific
- multi agent
- knowledge base
- machine learning