Model-Based Verification and Analysis for Real-Time Systems
Model-Based Verification and Analysis for Real-Time Systems
复制标题
实时系统基于模型的验证和分析
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
C. Thrane
中科院分区：
文献类型：
--
作者：
U. Fahrenberg;K. Larsen;C. Thrane
本文旨在提供一个简洁而精确的旅行者指南，短语书或参考手册的时间自动机建模形式主义介绍的Alfred和Dill。本文给出了时间自动机，定价（或加权）的时间自动机，和定时游戏的全面定义，并强调了一些结果相关的决策问题模型检查，等价性检查，最优调度，并存在获胜的策略。
This article aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill. The paper gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, and the existence of winning strategies.
DOI：
10.1007/978-3-642-28756-5_47
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Basler G
通讯作者：
Basler G