VIP : A Visual Editor and Compiler for v-Promela

Conference object English OPEN
Kamel, Moataz; Leue, Stefan;

We describe the Visual Interface to Promela (VIP) tool that we have recently implemented. VIP supports the visual editing and maintenance of v-Promela models. v-Promela is a visual, object-oriented extension to Promela, the input language to the Spin model checker. We i... View more
Share - Bookmark