R-CHECK: A Model Checker for Verifying Reconfigurable MAS.
Yehia Abd AlrahmanShaun AzzopardiNir PitermanPublished in: CoRR (2022)
Keyphrases
- model checker
- model checking
- multi agent systems
- temporal logic
- formal verification
- formal specification
- multiagent systems
- symbolic model checking
- formal methods
- description language
- multi agent
- test suite
- specification language
- general purpose
- service oriented
- description logics
- software engineering
- artificial intelligence