DMCA
Model Checking Multi-Agent Programs with CASP (2003)
| Citations: | 32 - 12 self |
BibTeX
@MISC{Bordini03modelchecking,
author = {Rafael H. Bordini and Michael Fisher and Carmen Pardavila and Willem Visser and Michael Wooldridge},
title = {Model Checking Multi-Agent Programs with CASP},
year = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
this paper is to describe a toolkit we have developed to support the use of model checking techniques for AgentSpeak(L). The toolkit, called CASP (Checking AgentSpeak Programs), automatically translates AgentSpeak(L) code into the input language of existing model checkers. In [1], we showed how to translate from AgentSpeak(L) to Promela, the model speci cation language for the SPIN LTL model checker [5]. More recently [2], we developed an alternative approach, based on the translation of AgentSpeak(L) agents into Java and veri cation via JPF2, a general purpose Java model checker [8]
