VooDooM

VooDooM transforms VDM-SL datatype specifications to obtain an equivalent relational representation. This relational representation can be exported as VDM-SL datatypes or translated to SQL table definitions.