Visual Modeling and Formal Validation

This presents a collection of papers pertaining to the v-Promela notation and the VIP (Visual Interface for Promela) tool.


  • M. Kamel, S. Leue: VIP: A Visual Editor and Compiler for v-Promela, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'2000, 2000. (PDF)
  • Stefan Leue, Gerard Holzmann: v-Promela: A Visual, Object-Oriented Language for Spin, Proceedings of the Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Saint Malo, France, IEEE Computer Society Press, 1999. (PDF)