本文へスキップします。

【参】モーダルJS:読み込み
書籍DB:詳細

SPINモデル検査入門

SPINモデル検査入門

  • 定価3,564円 (本体3,300円+税)
  • 判型A5
  • 262頁
  • ISBN978-4-274-20844-7
  • 発売日2010/03/24
  • 発行元オーム社

ソフトウェアの検証、並行性、非決定性を実践的に学べる

モデル検査ツールSPINは、並行分散系のモデル記述および検証に広く用いられている。
 本書はSPINを学ぶための優れた入門書の日本語翻訳で、逐次プログラムから並行分散系へと徐々にカリキュラムの難度を上げながらSPINを実際に動かしつつ、モデル記述やSPINを用いた検証を支える考え方や概念まで着実に身に着くもの。