##master-page:CategoryTemplate
##master-date:Unknown-Date
#format wiki
#language ja

= 計算システム検証論 =
== 開講時限・場所 ==
 * 月曜 2限 理学部7号館102教室 
== 担当教員 ==
 * 萩谷　昌己
 * Cyriille Artho
 * 田辺　良則
 * (Yusuke Kawamoto)
== 課題 ==
=== 萩谷先生のLTL+JPF課題(1/26〆) ===

[[attachment:exercise.pdf|プリント]]

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

JPFでLTL式を扱う方法は [[https://sites.google.com/site/vcs20131/materials | 田辺先生のプリント配布ページ]] に上げられている。
----
[[Category2013年冬学期授業]]