読み込み中... loading....
本日配信開始の新刊

UPPAALによる性能モデル検証

UPPAALによる性能モデル検証
電子書籍版
価格 4180円(税込)
ポイント還元 41ポイント(1%)
対応端末
  • PCPC
  • iOSiOS
  • AndroidAndroid
ページ数
  • 207
販売開始日 2018/04/21
紙書籍版 取り扱い中

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

UPPAALは,モデル検査ツールとしては比較的利用が容易ではあるが,実際の開発には多くのハードルがある.本書では,そのようなハードルを乗り越えるために必要な,UPPAALツール,時間オートマトン,検証したい性質を記述するための時間時相論理に関する知識,および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など,具体的事例も交えてノウハウを解説している.

本位田真一関連作品

近代科学社関連作品

「教養・よみもの」カテゴリ