๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Invited Tool Demonstration Moby/RT: A Tool for Specification and Verification of Real-Time Systems

โœ Scribed by Henning Dierks

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
49 KB
Volume
82
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Tool For Specification And Verificatio
A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems
โœ Franco Raimondi; Alessio Lomuscio ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 184 KB

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-age