螺纹加工工 swMATH ID: 9938 软件作者： 科内留·波皮亚（Corneliu Popeea）；安德烈·里巴尔琴科 描述： 线程程序：多线程程序的验证器。Threader是一种自动验证多线程C程序的安全和终止属性的工具。Threader的显著特点是它使用了与已验证程序的线程结构相关的组合推理。本文描述了Threader采用的验证方法，并提供了如何安装和使用该工具的说明。 主页： http://link.springer.com/chapter/10.1007%2F978-3-642-36742-7_51 相关软件： CPA检查器;SLAM公司;CBMC公司;捕食者;不明飞行物;SymmPa公司;ASTREE公司;卫星抗体;命令序列;爆炸;YOGI公司;厚板;魔术;z3（零3）;ESBMC公司;继电器;洛克史密斯;橡皮擦;VerCors公司;毒蛇 引用于： 12文件 全部的 前5名29位作者引用 三 丹尼尔·科宁 2 萨加·查基 2 阿里·古芬克尔 2 亚历山大·凯泽。 2 斯特里赫曼（Ofer Strichman） 2 迈克尔·陶奇尼格 2 托马斯·沃尔 1 阿尔加莱、杰德 1 安德里亚诺夫，P.S。 1 德克·贝尔 1 阿拉斯泰尔·唐纳森。 1 格雷姆·恒河 1 苏米特·古尔瓦尼 1 古罗夫，帝力 1 凯乔·赫尔扬科 1 玛丽克·赫斯曼 1 兰吉特·贾拉 1 安托万·米内 1 拉斐尔·莫纳特 1 豪尔赫·纳瓦斯（Jorge A.Navas）。 1 文森特·尼马尔 1 Wytse Oortwijn公司 1 安德烈亚斯·波德尔斯基 1 安德烈·里巴尔琴科 1 奥利·萨里基维 1 彼得·沙赫特 1 戴维·施密特（David A.Schmidt）。 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 5篇连载文章中引用 2 系统设计中的形式化方法 1 编程和计算机软件 1 信息与计算 1 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 12 计算机科学（68至XX） 按年份列出的引文