Opening book details…
Can I read A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems on EtoBox?
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems by Franco Raimondi; Alessio Lomuscio is a Computer Science article available to read on EtoBox.
What is A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems about?
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. We apply this methodology to the verification of a communication protocol -the dining cryptographers.
Who reads A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Franco Raimondi; Alessio Lomuscio
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)
- Published
- 2004
- Language
- EN
- Field
- Computer Science (Physical Sciences)