本文へスキップします。

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

SPINモデル検査入門

SPINモデル検査入門

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

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