A flexible framework for verifying agent programs

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 3, Issue , 2008, Pages 1277-1280

  Dennis, Louise A ^a   Farwer, Berndt ^b   Bordini, Rafael H ^b   Fisher, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b DURHAM UNIVERSITY   (United Kingdom)

Author keywords

Agent oriented programming languages; BDI agents; Java pathfinder; Model checking; Verification

Indexed keywords

AUTONOMOUS AGENTS; MODEL CHECKING; VERIFICATION;

AGENT-ORIENTED PROGRAMMING LANGUAGES; BDI AGENT; FLEXIBLE FRAMEWORK; INDIVIDUAL AGENT; JAVA PATHFINDER; MODEL-CHECKING TECHNIQUES; SAFETY CRITICAL APPLICATIONS; VERIFICATION TECHNIQUES;

MULTI AGENT SYSTEMS;

EID: 84899935034     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Model Checking Rational Agents. IEEE Intelligent Systems, 19(5):46-52, 2004.
2. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. State-Space Reduction Techniques in Agent Verification. In Proc. 3rd Int. Conf. Autonomous Agents and Multiagent Systems (AAMAS), pages 896-903. IEEE, 2004.
3. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifying Multi-Agent Programs by Model Checking. J. Autonomous Agents and Multi-Agent Systems, 12(2):239-256, 2006.
4. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
5. L. A. Dennis, B. Farwer, R. H. Bordini, M. Fisher, and M. Wooldridge. A Common Semantic Basis for BDI Languages. In Proc. 7th Int. Workshop on Programming Multiagent Systems (ProMAS). 2007.
6. M. Fisher. Temporal Development Methods for Agent-Based Systems. J. Autonomous Agents and Multi-Agent Systems, 10(l):41-66, 2005.
7. J. Hatcliff and M. B. Dwyer. Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. In Proc. 12th Int. Conf. Concurrency Theory, volume 2154 of LNCS, pages 39-58. Springer, 2001.
8. A. Hepple, L. A. Dennis, and M. Fisher. A Common Basis for Agent Organisations in BDI Languages. In Proc. Int. Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS), 2007.
9. G. J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003.
10. http://javapathfinder.sourceforge.net.
11. M. Kacprzak, A. Lomuscio, and W. Penczek. Verification of Multiagent Systems via Unbounded Model Checking. In Proc. 3rd Int. Conf. Autonomous Agents and Multiagent Systems (AAMAS), pages 638-645. IEEE CS Press, 2004.
12. F. Raimondi and A. Lomuscio. Automatic Verification of Multi-agent Systems by Model Checking Ordered Binary Decision Diagrams. J. Applied Logic, 5(2):235-251, 2007.
13. A. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW), volume 1038 of LNCS, pages 42-55. Springer, 1996.
14. Robby, M. B. Dwyer, and J. Hatcliff. Bogor: an Extensible and Highly-Modular Software Model Checking Framework. In Proc. ESEC / SIGSOFT FSE, pages 267-276, 2003.
15. W. Visser, K. Havelund, G. P. Brat, S. Park, and F. Lerda. Model Checking Programs. Automated Software Engineering, 10(2):203-232, 2003.x
16. M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons. Model Checking for Multiagent Systems: The MABLE Language and its Applications. Int. J. Artificial Intelligence Tools, 15(2):195-225, 2006.