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

[109 デフォルトの名無しさん 2013/09/13(金) 20:42:25.00]

>>108
「仕様が記述できたとしても、それに矛盾がないことを「検査」できない」
はおかしいだろう。

質問として実行すればいいのではないかな。定理証明の過程なのだから。