凶悍的人 swMATH ID: 37080 软件作者： 马丁·科尔贝尔；Leue，Stefan；托马斯·怀斯 描述： TarTar：定时自动修复工具。我们提出了TarTar，这是一种自动修复分析工具，它提供了在时间自动机模型的模型检查过程中获得的时间诊断跟踪（TDT），建议对分析模型进行可能的语法修复。建议的修复包括修改位置不变量和转换保护中的时钟界限值，添加或删除时钟重置等。建议的修复保证给定的TDT在修复的模型中不再可行，同时保留系统的整体功能行为。我们深入了解TarTar的设计和结构，并表明它可以成功修复69 主页： https://link.springer.com/chapter/10.1007%2F978-3-030-53288-8_25 源代码： https://github.com/sen-uni-kn/tartar 相关软件： Uppaal公司;SemFix公司;S-TaLiRo型;Matlab公司;模仿者;CADP公司;克洛诺斯 引用于： 2文件 全部的 前5名6位作者引用 1 艾丁·戈尔（Ebru Aydin Gol） 1 Thao Dang先生 1 梅尔特·埃尔古图纳 1 格雷戈·格勒 1 托马斯·玛丽 1 亚辛卡亚、贝亚齐特 连载1篇 1 信息学报 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文