MCMAS: A Model Checker for the Verification of Multi-Agent Systems
- 1 January 2009
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagramsJournal of Applied Logic, 2007
- mcmas: A Model Checker for Multi-agent SystemsPublished by Springer Nature ,2006
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- MCK: Model Checking the Logic of KnowledgePublished by Springer Nature ,2004
- √erics: A Tool for Verifying Timed Automata and Estelle SpecificationsPublished by Springer Nature ,2003
- Alternating-time temporal logicJournal of the ACM, 2002
- Model checking multi-agent systems with MABLEPublished by Association for Computing Machinery (ACM) ,2002
- An automata-theoretic approach to branching-time model checkingJournal of the ACM, 2000
- MOCHA: Modularity in model checkingPublished by Springer Nature ,1998
- The dining cryptographers problem: Unconditional sender and recipient untraceabilityJournal of Cryptology, 1988