UPPAALによる性能モデル検証 / リアルタイムシステムのモデル化とその検証

実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。