本書で紹介されているFDRスクリプト、JCSPプログラムを下のファイル名一覧からダウンロードできます。
並行システムの検証と実装サンプル（FDR2用） [sample.zip]
下のリンクから、各章ごとにサンプルコードをダウンロードできます。
第1章サンプル [01sample.zip]
第2章サンプル [02sample.zip]
第3章サンプル [03sample.zip]
第4章サンプル [04sample.zip]
第5章サンプル [05sample.zip]
第6章サンプル [06sample.zip]
第7章サンプル [07sample.zip]
第8章サンプル [08sample.zip]
第9章サンプル [09sample.zip]
第10章サンプル [10sample.zip]
ProBはFDR互換のモデル検査器です。ただし、若干の違いがあるため、ProBを使用する場合は、下記のサンプルコードをダウンロードしてください。
並行システムの検証と実装サンプル（ProB用） [sample-ProB.zip]