【Alloy】形式言語による仕様記述【VDM】

[122 デフォルトの名無しさん 2013/09/14(土) 20:04:31.44]

挙動なんて言ってる時点で
静的解析をガン無視してるのはVDM界隈じゃなくて>>121だということがわかる。