×

兹马思-数学第一资源

mCRL2工具集及其最新进展的概述。(英语) Zbl 1381.68198
Piterman,Nir(ed.)等人,用于系统构建和分析的工具和算法。第19届国际会议,TACAS 2013,作为欧洲软件理论与实践联合会议的一部分举行,ETAPS 2013,意大利罗马,2013年3月16-24日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795199-213(2013)。
摘要:分析复杂的分布式系统需要专用的软件工具。mCRL语言和工具集已经开发来支持这种分析。我们重点介绍近年来对工具集所做的更改和改进。一方面,这些影响了应用范围,随着对无限集和函数等数据结构的扩展支持,应用范围已经扩大。另一方面,由于符号化简技术的改进以及向基于奇偶博弈的求解的转变,我们的状态空间生成和模型检查工具的性能已经取得了相当大的进展。我们也很好地解决了上述软件和工具集的变更问题。
整个系列请参见[Zbl 1268.68030].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部