We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

Verifying multi-agent programs by model checking.

Bordini, R. H. and Fisher, M. and Visser, W. and Wooldridge, M. (2006) 'Verifying multi-agent programs by model checking.', Journal of autonomous agents and multi-agent systems., 12 (2). pp. 239-256.


This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-based agent-oriented programming language AgentSpeak into either Promela or Java, and then use the associated Spin and JPF model checkers to verify the resulting systems. We also describe the simplified BDI logical language that is used to write the properties we want the systems to satisfy. The approach is illustrated by means of a simple case study.

Item Type:Article
Additional Information:EUMAS'04 Special Issue.
Keywords:Agent-oriented programming, AgentSpeak, Model checking, Spin, JPF.
Full text:Full text not available from this repository.
Publisher Web site:
Record Created:23 Apr 2008
Last Modified:06 Jan 2010 16:33

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Look up in GoogleScholar | Find in a UK Library