Sciweavers

Share
ATAL
2008
Springer

A flexible framework for verifying agent programs

8 years 4 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over the last few years. With these platforms becoming more popular, and multi-agent systems being increasingly used for safety-critical applications, the need for verification techniques that apply to systems written in such languages is proportionally intensified. Building on our previous work on model checking for a particular agent-oriented programming language, we have developed a new approach whereby model checking techniques can be used directly on a variety of such languages. The approach also supports the verification of multi-agent systems where individual agents have been programmed in different agent languages. Categories and Subject Descriptors I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence--Multiagent systems; I.2.5 [Artificial Intelligence]: Programming Languages and Software...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ATAL
Authors Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher
Comments (0)
books