VIP: A Visual Editor and Compiler for v-Promela.

Moataz Kamel, Stefan Leue

Browse the full TACAS paper archive.