ホーム

本サイトは近代科学社から出版されている本「並行システムの検証と実装」に関連する情報を掲載しています。

形式手法CSPに基づく高信頼並行システム開発入門 トップエスイーシリーズ 実践講座6
並行システムの検証と実装, 磯部祥尚(著), 東野輝夫(監修)
近代科学社, 2012.12.26. [amazon]

表紙

[news]

[サブページ]
  • サンプルコード: 本書で使用しているFDRスクリプト、JCSPプログラムをダウンロードできます。
  • 訂正情報: 本書の間違いを訂正するための情報です。
  • リンク: 関連するウェブサイトのリンク集です。
  • ProB: FDRと互換性のあるモデル検査器です(フリー&オープンソース、Windows版あり)

補足情報: 本書ではFDRというモデル検査器をもとに検証技術の紹介をしています。FDRは学術目的では無料ですが、産業目的では有料です。FDRスクリプトを検証可能な他のツールにProB(フリー&オープンソース)があります。ProBのインストール方法はこちらをご覧ください。