本記事はVDM++の型の組み合わせによってできる型、合成型(Compound Types)の中でも、集合(Set)と配列(Sequence)の簡単なまとめです。

VDM++の型の中でも基本となる、基本データ型(Basic Data Types)の簡単なまとめ