C’est un code source d’un programme basé sur VDM (the Vienna Development Method), un ensemble de techniques pour des systèmes informatiques de modélisation.
Il contient du code écrit en VDM-SL (VDM Language Specification) ou VDM++.
C’est un code source d’un programme basé sur VDM (the Vienna Development Method), un ensemble de techniques pour des systèmes informatiques de modélisation.
Il contient du code écrit en VDM-SL (VDM Language Specification) ou VDM++.