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



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


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

回答の条件
  • URL必須
  • 1人5回まで
  • 登録:2008/05/20 01:40:28
  • 終了:2008/05/27 01:45:02

回答(0件)

回答はまだありません

コメントはまだありません

この質問への反応(ブックマークコメント)

「あの人に答えてほしい」「この質問はあの人が答えられそう」というときに、回答リクエストを送ってみてましょう。

これ以上回答リクエストを送信することはできません。制限について

絞り込み :
はてなココの「ともだち」を表示します。
回答リクエストを送信したユーザーはいません