2016年2月最新のFDR（Failures Divergence Refinement）はどこにあるか？

実現したいこと

並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門 に記載されているFDR2ではなく、最新のモデル検査ツールの動向を知るために、FDRの最新版を利用したい

並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門
http://www.amazon.co.jp/gp/product/4764904357

実現方法および解決方法

http://www.cs.ox.ac.uk/projects/fdr/
上記のURLにアクセスし、FDR3を利用する。

実行コマンド

なし

情報源

http://www.cs.ox.ac.uk/projects/concurrency-tools/
https://staff.aist.go.jp/y-isobe/topse/vic/
http://www.cs.ox.ac.uk/projects/fdr/

並行システムの検証と実装: 形式手法CSPに基づく高信頼並行システム開発入門
http://www.amazon.co.jp/gp/product/4764904357

補足

なし