Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
Top Cited Papers
- 30 June 2007
- journal article
- Published by Elsevier in Journal of Applied Logic
- Vol. 5 (2) , 235-251
- https://doi.org/10.1016/j.jal.2005.12.010
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- A formalisation of violation, error recovery, and enforcement in the bit transmission problemJournal of Applied Logic, 2004
- Symbolic model checking the knowledge of the dining cryptographersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Deontic Interpreted SystemsStudia Logica, 2003
- Model checking multi-agent systems with MABLEPublished by Association for Computing Machinery (ACM) ,2002
- Model checking multiagent systemsJournal of Logic and Computation, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- The dining cryptographers problem: Unconditional sender and recipient untraceabilityJournal of Cryptology, 1988
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986