[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 <subtitle> <abstract> 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. </pre> <p></p> <img src="_files/line.gif" width="100%" height="5"><p> © <a href="http://www.elsevier.com/gej-ng/31/29/23/show/.global/copyright.htt">Copyright</a> 2003, Elsevier Science, All rights reserved. </p> <img src="_files/line.gif" width="100%" height="5"><p> <p> © <a HREF=/gej-ng/31/29/23/show/.global/copyright.htt>Copyright</a> 2003, Elsevier Science, All rights reserved. </body> </html>