>

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. More information on VIP can be obtained from the VIP home page (under construction).

Articles: