モデル検査 上級編―実践のための三つの技法 (CVS教程)

  • ナノオプトメディア (2010年2月1日発売)
4.00
  • (1)
  • (0)
  • (1)
  • (0)
  • (0)
  • 13人登録
  • 2レビュー
  • Amazon.co.jp ・本 (161ページ)
  • / ISBN・EAN: 9784764955066

モデル検査 上級編―実践のための三つの技法 (CVS教程)の感想・レビュー・書評

並び替え:

表示形式:

表示件数:

  • SPINを使っていましたが,
    産総研のSMVのセミナを受講したら,
    SMVがとてもモデル記述が楽だということが分かりました。

    最初のうちはCTLがうまく書けませんでした。
    本書の例を入れて行くうちに,だんだん馴染んできつつあります。

    産総研のセミナはぜひ受講するとよいと思いました。

    さつきのWEBで入力するときは
    1:
    になっている行は
    True:
    に変更しないとエラーになるかもしれません。

    さつきのWEBではLTLは受け付けておらず,
    CTLで検証することになっているようです。

  • 和図書 548.96/Sa63
    資料ID 2011102235

全2件中 1 - 2件を表示

産業技術総合研究所システム検証研究センターの作品

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

有効な左矢印 無効な左矢印
Joel Spo...
戸田山 和久
有効な右矢印 無効な右矢印

モデル検査 上級編―実践のための三つの技法 (CVS教程)はこんな本です

モデル検査 上級編―実践のための三つの技法 (CVS教程)を本棚に登録しているひと

ツイートする