[Home Page of ENTCS] [Volume/Issue List of ENTCS] [Author Index of ENTCS]
85.2 6 Franco Raimondi & Alessio Lomuscio A tool for specification and verification of epistemic properties in interpreted systems We present a compiler that translates a multi-agent systems specification given in the formalism of Interpreted Systems into an SMV program. We show how an SMV model checker can be coupled with a Kripke model editor (Akka) to allow for the mechanical verification of epistemic properties of multi-agent systems.
© Copyright 2003, Elsevier Science, All rights reserved.
© Copyright 2003, Elsevier Science, All rights reserved.