ACM SIGPLAN Notices · 1992 · 55 citations · 0 references
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.