VDM
Vienna Development Method
形式手法の最初
IBM Laboratory Viennaで1973年に開始
「Vinnea」を「ウィーン」と読むんだmrsekut.icon
PL/Iの言語仕様を定義する表記法としてVDLが考案され、その関連の開発穂としてVDMが考案された
VDM-SL
https://en.wikipedia.org/wiki/Vienna_Development_Method
日本語のwikipediaはほぼ何も書かれてない
『形式手法入門』 付録A.2
1章割いて概説がある