Model Checking-Based Analysis of Multiagent Systems

Authors:
Massimo Benerecetti;Fausto Giunchiglia
Affiliations:
-;-
Venue:
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Year:
2000

Citing 5
Cited 1

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
Design and validation of computer protocols

Design and validation of computer protocols
A semantics for a logic of authentication (extended abstract)

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Model checking

Proceedings of the NATO Advanced Study Institute on Deductive program design
Ideal and Real Belief about Belief

FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning

The interpreted system model of knowledge, belief, desire and intention

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model checking is a very successful technique which has been applied in the design and verification of finite state concurrent reactive processes. This technique can be lifted to be applicable to multiagent systems. Our approach allows us to reuse the technology and tools developed in model checking, to design and verify multiagent systems in a modular and incremental way, and also to have a very efficient model checking algorithm. The paper investigates the applicability of our multiagent model checking framework to the analysis of a relevant class of multiagent protocols, namely security protocols.