Implementing an ATL model checker tool using relational algebra concepts.
Florin StoicaLaura Florentina StoicaPublished in: SoftCOM (2014)
Keyphrases
- relational algebra
- model checking
- model checker
- temporal logic
- relational model
- data model
- expressive power
- normal form
- query language
- relational calculus
- first order logic
- formal verification
- complex objects
- formal specification
- description language
- multi agent systems
- formal methods
- relational data model
- conceptual model
- set theory
- test suite
- fuzzy logic
- database query languages