v-Promela: A Visual, Object-Oriented Language for SPIN.

Stefan Leue, Gerard J. Holzmann

Browse the full ISORC paper archive.