【形式手法】形式手法入門 VDM++チュートリアルをやってみた - Qiita

# チュートリアル資料 　以下サイトから、チュートリアルのドキュメントと、チュートリアルで使用する演習問題がダウンロードできます。 [形式手法入門 VDM++チュートリアル（IPA）](https://www.ipa.go.jp/s...