人力検索はてな
モバイル版を表示しています。PC版はこちら
i-mobile

お勧めのモデル検査・形式手法を教えてください。


SPIN,NuSMV,LTSAやVDM,...と色々ありますが、
1)今後、一番普及しそうなもの
2)状態遷移図がかけてグラフィカルで扱いやすく、文法も覚えやすく簡単に扱えて仕様の検討からデバッグにまで使えるもの


といったらそれぞれ何になると思われますか?

●質問者: garyo
●カテゴリ:コンピュータ 科学・統計資料
✍キーワード:spin VDM お勧め グラフ デバッグ
○ 状態 :キャンセル
└ 回答数 : 0/0件

回答がありません
関連質問


●質問をもっと探す●



0.人力検索はてなトップ
8.このページを友達に紹介
9.このページの先頭へ
対応機種一覧
お問い合わせ
ヘルプ/お知らせ
ログイン
無料ユーザー登録
はてなトップ