SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 (トップエスイー実践講座)

  • 近代科学社 (2008年9月1日発売)
5.00
  • (2)
  • (0)
  • (0)
  • (0)
  • (0)
  • 19人登録
  • 1レビュー
  • Amazon.co.jp ・本 (226ページ)
  • / ISBN・EAN: 9784764903548

SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 (トップエスイー実践講座)の感想・レビュー・書評

並び替え:

表示形式:

表示件数:

  • 形式手法の教育を行う場合に、受講生は全部読んでいる必要はないという命題をたててみました。

    というのは、トップエスイー実践講座3では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技術一般の問題点を解決できる。」とあることにもとづいています。

    ただし、講師になる人間は、全部読んでいる必要があると感じました。

    本書を読む前に、「四日で学ぶモデル検証」を実際に動かした方がよいと感じています。
    自分では、本書も先に目を通そうとしたことがありましたが、めげていました。

    「四日で学ぶモデル検証」をやってからは、少なくとも動作させたことがある部分は、
    読み進むことができました。

全1件中 1 - 1件を表示

吉岡信和の作品

この本を読んでいる人は、こんな本も本棚に登録しています。

有効な左矢印 無効な左矢印
ボーリス バイザ...
ボーリス バイザ...
まつもと ゆきひ...
有効な右矢印 無効な右矢印

SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 (トップエスイー実践講座)はこんな本です

ツイートする