Go to Qiita Advent Calendar 2024 Top
LoginSignup
1
4

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 5 years have passed since last update.

@UmedaTakefumi

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

Last updated at Posted at 2016-02-09

実現したいこと

並行システムの検証と実装: 形式手法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
41USg4GGd7L.SX388_BO1,204,203,200.jpg

補足

なし

1
4
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
Sign upLogin
1
4

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?