VDM

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf formal method
gptkbp:basedOn gptkb:set_theory
predicate logic
gptkbp:developedBy 1970s
gptkbp:fullName Vienna Development Method
gptkbp:hasFeature ISO/IEC 13817-1:1996
gptkbp:hasLanguage VDM Specification Language (VDM-SL)
gptkbp:hasVariant gptkb:VDM++
gptkb:VDM-RT
gptkb:VDM-SL
https://www.w3.org/2000/01/rdf-schema#label VDM
gptkbp:influenced gptkb:Z_notation
gptkb:B-Method
gptkbp:originatedIn gptkb:IBM_Vienna_Laboratory
gptkbp:usedFor software modeling
formal specification
gptkbp:usedIn telecommunications
railway signaling
safety-critical systems
gptkbp:uses gptkb:Overture
gptkb:VDMTools
gptkbp:website https://www.vdmportal.org/
gptkbp:bfsParent gptkb:Viedma_Air_Base
gptkbp:bfsLayer 6