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

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

【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch268:デフォルトの名無しさん
13/10/17 13:29:16.40 .net
>>264
>それが細かくない（本質的である）と思っているということは、

この前提から

> 君は未定義動作や実装依存をなくせばＣのソースも形式仕様だと言うんだな

こんな帰結を導出する人には、形式手法は無理です。（きっぱり

次ページ

続きを表示

1を表示