×

兹马思-数学第一资源

TarTar:一个定时自动修复工具。(英语) Zbl公司 07306426
Lahiri,Shuvendu Kumar(编辑)等人,计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21-24日。诉讼程序。第一部分。查姆:斯普林格(ISBN 978-3-030-53287-1/pbk;978-3-030-53288-8/电子书)。计算机科学课堂讲稿12224529-540(2020年)。
摘要:我们介绍了一个自动修复分析工具TarTar,该工具给出了在时间自动机模型检查过程中获得的时间诊断跟踪(TDT),建议对所分析模型进行可能的语法修复。建议的修复包括修改位置不变量和转移保护中的时钟界限值,添加或删除时钟重置等。建议的修复保证给定的TDT在修复模型中不再可行,同时保持系统的整体功能行为。我们深入研究了TarTar的设计和体系结构,并表明它可以成功地修复系统模型中69%的种子错误。
整个系列请参见[Zbl 1453.68017].
理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部