レビュー・感想
【おすすめ度】:
【タイトル】: 日本語で読める本格的な解説書
【コメント】: 近年、ソフトウエアの検証技術として注目されているモデル検査ツールSPINの本格的な解説書です。モデル記述言語Promelaの入門から、検証の内部的な仕組み、実システムへの応用まで幅広くカバーしています。ソフト...

レビュー・感想
【おすすめ度】:
【タイトル】: SPINのセミナを受けて、処理系は動かしたことがあります。
【コメント】: モデル検査は数学が分からないとという人がいます。
プログラマなら論理演算と条件分岐が分かるはずだそうです。

SPINのセミナを受けて、処理系を動かしたことがあります。
Promeraは、...