廷巴克 swMATH ID: 6351 软件作者： 托马斯·杰奈特；Yohan Boichut；贝尼特·博耶；Valérie Viet Triem Tong。。 描述： Timbuk是一组工具，用于在术语重写系统上实现可达性证明，并用于操作树自动机（自下而上的非确定性有限树自动机）Timbuk和可达性分析可用于程序验证。例如，Timbuk目前用于验证加密协议（请参阅一些论文和发行版示例）。Timbuk 3是树自动机完成引擎的全新版本，用于可达性分析。旧的Timbuk发行版（2.2）提供了三个独立的工具和一系列Objective Caml函数，用于树自动机、字母表、术语、术语重写系统等的基本操作。 主页： http://www.irisa.fr/celtique/genet/tinbuk/ 关键词： 术语重写系统 相关软件： 莫德;AVISPA公司;ELAN公司;伊莎贝尔;OCaml公司;伊莎贝尔/HOL;AProVE公司;蒂罗尔（Tyrolean）;MONA公司;爪哇风扇;z3（零3）;莫德-NPA;NRL公司;致命的;爱马仕;K校准仪;DCTP公司;名古屋终止工具;NaTT公司;多终端 引用于： 49文件 全部的 前5名58位作者引用 11 尤罕·博伊库特 11 海姆，皮尔雷·科里尔 10 托马斯·杰奈特 9 奥尔加·库什纳伦科 5 罗梅奥·库比斯 4 佛罗伦萨·杰克马尔 4 瓦格伏尔盖，桑多尔 三 何塞·梅塞盖尔·瓜伊塔 2 圣地亚哥埃斯科瓦尔 2 纪尧姆·费伊莱德 2 吉原小岛 2 莫妮卡·奈西 2 Masahiko酒井 2 普拉桑纳·塔蒂 2 瓦莱里越战通 1 艾米莉·巴拉德 1 路易斯·巴尔古诺 1 艾哈迈德·博阿贾尼 1 卡莱斯·克鲁斯 1 皮耶保罗·德加诺 1 乔治·德尔扎诺 1 艾琳·杜兰德。 1 伯特伦·费尔根豪尔 1 阿尔芬斯·盖瑟 1 吉勒姆·戈多伊 1 乔·亨德里克斯 1 迪特尔·霍夫鲍尔 1 文森特·雨果特 1 凯文·奈特。 1 Misaki小岛 1 彼得·兰米奇 1 卢卡勒鲁 1 Ondřej Lengál 1 莱茨，莱因霍尔德 1 安德烈亚斯·洛赫比勒 1 阿美，乔纳森 1 安托万·梅耶 1 罗伯托·蒙塔格纳 1 皮埃尔·埃蒂安·莫罗 1 直纪西田 1 朱斯蒂娜·诺塞拉 1 大崎，Hitoshi 1 亚历山大·拉比诺维奇 1 朱塞皮娜·鲁奇 1 米歇尔·鲁西诺维奇 1 弗拉德·鲁苏 1 穆利·萨吉夫 1 亚恩鲑鱼 1 Šimáckek，Jiří 1 格诺·斯坦兹 1 雷内·蒂曼 1 卡米尔·瓦彻 1 托马斯·沃伊纳尔 1 约翰内斯·沃尔德曼 1 Akihisa山田 1 格雷塔·约什 1 汉斯·赞特马 1 罗伯托·祖尼诺 全部的 前5名13篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 4 信息处理信件 2 信息与计算 2 北欧计算机杂志 2 计算机科学中的逻辑方法 1 计算机与系统科学杂志 1 理论计算机科学 1 符号计算杂志 1 自动推理杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 高阶和符号计算 1 逻辑与代数程序设计杂志 在4个字段中引用 49 计算机科学（68至XX） 6 数理逻辑与基础（03-XX） 5 信息与通信理论、电路（94-XX） 2 一般代数系统（08-XX） 按年份列出的引文