MoTraS: A Tool for Modal Transition Systems and Their Extensions
MoTraS: A Tool for Modal Transition Systems and Their Extensions
复制标题
MoTraS：模态转换系统及其扩展的工具
DOI：
10.1007/978-3-319-02444-8_41
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Salomon Sickert
中科院分区：
文献类型：
--
作者：
Jan Křetínský;Salomon Sickert
我们提出了一个工具，模态转换系统（MTS），析取MTS和MTS的进一步扩展也支持不确定性系统。我们提供了规范理论所需的操作以及一些额外的支持，如确定性船体，LTL模型检查等。该工具具有图形和命令行界面。
We present a tool for modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also nondeterministic systems. We provide the operations required from specification theories as well as some additional support such as deterministic hull, LTL model checking etc. The tool comes with both graphical and command line interface.
登录
查看更多内容
ECDAR：实时系统的组合设计和分析环境
DOI：
10.1007/978-3-642-15643-4_29
发表时间：
2010
期刊：
2010 Seventh International Conference on the Quantitative Evaluation of Systems
影响因子：
--
作者：
Alexandre David;K. Larsen;Axel Legay;Ulrik Nyman;A. Wąsowski
通讯作者：
A. Wąsowski
模态转换系统：组合和 LTL 模型检查
DOI：
10.1007/978-3-642-24372-1_17
发表时间：
2011
期刊：
Comput. Artif. Intell.
影响因子：
--
作者：
Nikola Benes;I. Cerná;Jan Křetínský
通讯作者：
Jan Křetínský
模态过程逻辑的工业应用
影响因子：
1.3
作者：
G. Bruns
通讯作者：
G. Bruns
参数模态转换系统
DOI：
--
发表时间：
2011
期刊：
Automated Technology for Verification and Analysis
影响因子：
--
作者：
Nikola Benes;Jan Křetínský;K. Larsen;Mikael H. Møller;Jiri Srba
通讯作者：
Jiri Srba
为什么模态有利于界面理论？
DOI：
10.1109/acsd.2009.22
发表时间：
2009
期刊：
2009 Ninth International Conference on Application of Concurrency to System Design
影响因子：
--
作者：
Jean;Éric Badouel;A. Benveniste;B. Caillaud;Roberto Passerone
通讯作者：
Roberto Passerone