Publication | Closed Access
An overview of the ISO/VDM-SL standard
55
Citations
0
References
1992
Year
EngineeringElectronic Design AutomationModeling NotationSoftware EngineeringSemanticsFormal VerificationSignal IntegrityElectromagnetic CompatibilitySyntaxFormal Method VdmSystems EngineeringBritish Standards InstitutionLanguage StudiesFormal NotationFormal SpecificationFormal ModelingRisc-vComputer EngineeringComputer ScienceSignal ProcessingSoftware DesignSpecification LanguageFormal MethodsIso/vdm-sl StandardStandardization EffortSystem Software
VDM-SL, the notation incorporated in the formal method VDM, is currently being standardized under auspices of the International Standards Institution (ISO) and the British Standards Institution (BSI). It is one of the few formal languages of which the syntax and the semantics have been completely formally defined. In this paper we present an overview of the standard, including a report on the current status of the standardization effort.