計算システム検証論

開講時限・場所

担当教員

課題

萩谷先生のLTL+JPF課題(1/26〆)

プリント

Part 2(Artho先生パート)で使用したDining philosophersのコードを上のプリントの通り改変し、LTL式で表わされる性質をJPFで検証。

JPFでLTL式を扱う方法は 田辺先生のプリント配布ページ に上げられている。


Category2013年冬学期授業

計算システム検証論 (最終更新日時 2014-01-20 12:37:26 更新者 TakuyaKuwahara)