UPPAALによる性能モデル検証電子書籍版

4180円（税込）
初めての方
6回使える！最大70%OFFクーポン
※値引上限等条件あり
詳細・獲得はこちら
初めてではない方
何回でも使える5%OFFクーポン

詳細・獲得はこちら
購入はこちら試し読み
- 本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
  この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくはこちら。
専門書　コンピューター
作品内容
UPPAALは，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説している．