An overview of the ISO/VDM-SL standard
Nico Plat, Peter Gorm Larsen · ACM SIGPLAN Notices · 1992
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.