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.
Publications
- 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)