阿尼玛 swMATH ID: 10101 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 描述： 检查重写逻辑计算（以参数化和逐步的方式）。跟踪检查涉及允许搜索特定成分的跟踪内容的技术。本文提出了一种丰富且高度动态的参数化技术，用于重写逻辑理论的跟踪检查，允许以不同的方式跟踪给定无条件重写理论的非确定性执行。使用这种技术，分析员可以在程序执行期间浏览、切片、过滤或搜索跟踪。从计算树中的选定状态开始，跟踪的导航由用户定义的检查标准驱动，该标准指定了所需的探测模式。通过选择不同的检查标准，可以自动推导出一系列实用算法，如程序步进器和更复杂的动态跟踪切片器，这些算法有助于在计算树中动态检测控制和数据相关性。我们的方法是在Anima图形工具中实现的，它允许用户捕获给定标准的影响，从而有助于检测不适当的程序行为。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-54624-2_12 相关软件： 莫德；网络TLR；D装货商；艾朱利安；第3章；朱丽安；莫德-NPA；阿克斯；塔马林；Yices公司；z3（零3）；ACUOS2号机组；JML公司；艾菲尔 引用于： 5文件 全部的 前5名6位作者引用 5 朱莉娅·萨皮娜 4 玛丽亚·阿尔普特 4 黛米斯·巴利斯 4 弗朗西斯科·弗雷奇纳 1 圣地亚哥埃斯科瓦尔 1 劳尔·洛佩斯·鲁埃达 2篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 符号计算杂志 在2个字段中引用 5 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 按年份列出的引文