VIP: A Visual Interface for Promela

Authors:
Moataz Kamel;Stefan Leue
Affiliations:
-;-
Venue:
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Year:
1999

Citing 3
Cited 0

Real-time object-oriented modeling

Real-time object-oriented modeling
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
v-Promela: A Visual, Object-Oriented Language for SPIN

ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract