A tool for specification and verification of epistemic properties in interpreted systems

Electronic Notes in Theoretical Computer Science

Volumn 85, Issue 2, 2004, Pages 176-191

  Raimondi, Franco ^a   Lomuscio, Alessio ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CRYPTOGRAPHY; FORMAL LOGIC; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; PROGRAM COMPILERS; SEMANTICS; THEOREM PROVING;

ARTIFICAL LANGUAGES; FORMAL METHODS; INTERPRETED SYSTEMS SEMANTICS; TEMPORAL MODELS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 18744403444     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82609-X     Document Type: Conference Paper

References (22)

1. Benerecetti M., Giunchiglia F., Serafini L. Model checking multiagent systems. Journal of Logic and Computation. 8:(3):June 1998;401-423
2. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), July 2003
3. Bryant R.E. Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers. August 1986;677-691
4. 20 states and beyond. Information and Computation. 98:(2):June 1992;142-170
5. Burrows M., Abadi M., Needham R. A logic of authentication. ACM Transactions on Computer Systems. 8:(1):February 1990;18-36
6. Chaum D. The dining cryptographers problem: Unconditional sender and recipient untraceability. Journal of Cryptology. 1:1988;65-75
7. Cimatti A., Clarke E., Giunchiglia F., Roveri M. NuSMV: A new symbolic model verifier. Lecture Notes in Computer Science. 1633:1999
8. Clarke E.M., Grumberg O., Peled D.A. Model Checking. 1999;The MIT Press, Cambridge, Massachusetts
9. Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. Reasoning about Knowledge. 1995;MIT Press, Cambridge
10. Halpern J., Vardi M.Y. Model checking vs. theorem proving: A manifesto. Allen J., Fikes R.E., Sandewall E. Proceedings 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning, KR'91, Morgan Kaufmann Series in Knowledge Representation and Reasoning. 1991;325-334 Morgan Kaufmann Publishers, San Mateo, CA
11. van der Hoek W., Wooldridge M. Model checking knowledge and time. SPIN 2002 - - Proceedings of the Ninth International SPIN Workshop on Model Checking of Software. April 2002;Grenoble, France
12. van der Hoek W., Wooldridge M. Tractable multiagent planning for epistemic goals. Gini M., Ishida T., Castelfranchi C., Johnson W.L. Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02). July 2002;1167-1174 ACM Press
13. Holzmann G.J. The model checker spin. IEEE transaction on software engineering. 23:(5):May 1997
14. A. Lomuscio and W. Penczek, Bounded model checking for interpreted systems. Technical report, Institute of Computer Science of the Polish Academy of Sciences, 2002.
15. Lomuscio A., Raimondi F., Sergot M. Towards model checking interpreted systems. Proceedings of MoChArt. August 2002;Lyon, France
16. McMillan K. Symbolic model checking. An approach to the state explosion problem. 1993;Kluwer Academic Publishers
17. van der Meyden R., Shilov N.V. Model checking knowledge and time in systems with perfect recall. FSTTCS: Foundations of Software Technology and Theoretical Computer Science. 19:1999
18. R. van der Meyden and Kaile Su, Symbolic model checking the knowledge of the dining cryptographers. Submitted, 2002
19. Freek Stulp and Rineke Verbrugge. A knowledge-based algorithm for the internet transmission control protocol (TCP) (extended version). Bulletin of Economic Research, 54(1):69-94, January 2002. Blackwell Publishers Ltd, Oxford, UK and Boston, USA.
20. M. Y. Vardi. An automata-theoretic approach to protocol verification (abstract). In International Conference on Concurrency (CONCURRENCY '88), pages 73-73, Berlin - Heidelberg - New York, October 1988. Springer.
21. Wooldridge M. Computationally grounded theories of agency. Durfee E. Proceedings of ICMAS, International Conference of Multi-Agent Systems. 2000;IEEE Press
22. Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, and Simon Parsons. Model checking multi-agent systems with MABLE. In Maria Gini, Toru Ishida, Cristiano Castelfranchi, and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'02), pages 952-959. ACM Press, July 2002