VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems.
Angelo FerrandoVadim MalvonePublished in: CoRR (2024)
Keyphrases
- model checking
- temporal logic
- multi agent systems
- bounded model checking
- ordered binary decision diagrams
- artifact centric
- formal verification
- temporal properties
- linear temporal logic
- finite state
- epistemic logic
- abstract interpretation
- partial order reduction
- coalition logic
- process algebra
- symbolic model checking
- automated verification
- formal specification
- verification method
- finite state machines
- np complete
- computation tree logic
- artificial intelligence