ISO VDM-SL Example


This test directory demonstrates the use of the VDM-SL ISO ASCII syntax for type definitions


This test directory demonstrates the use of the VDM-SL ISO ASCII syntax for type (Domain- ) definition.

The new ISO VDM-SL ASCII syntax extensions contain:

These extensions are activated through the -N option which also defines the flag GEN_ISO for the database.


The Sources