橡皮擦 36篇文献引用(2000–2021) 软件作者： Savage，S.、Burrows，M.、Nelson，G.、Sobalvarro，P.、Anderson，T。 相关软件： veriSoft；RacerX；班德拉… 主要字段： 计算机科学（68-XX）
日本运通银行 在25份文件中引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
洛克史密斯 10篇文献引用(2008–2021) 软件作者： Pratikakis，P.、Foster，J.S.、Hicks，M。 相关软件： 继电器；橡皮擦；地精… 主要字段： 计算机科学（68-XX）
MPM3DMP公司 11份文件引用(2008–2023) 软件作者： 黄，P。；张，X。；马，S。；Wang，香港。 相关软件： MPM3D；FEAPpv公司 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
金发姑娘 9份文件引用(2009–2017) 软件作者： Elmas，T.、Qadeer，S.、Tasiran，S。 相关软件： 橡皮擦；雾化器；快速通道… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
程序冲突分析 6篇文献引用(2008–2019) 软件作者： 彼得·兰米奇（Peter Lammich）；马库斯·穆勒·奥尔姆 相关软件： 存档正式证据；Isabelle/HOL；Gabow SCC… 主要字段： 计算机科学（68-XX）
TSO工具 5份文件引用(2008–2021) 软件作者： 机库S、Vahia D、Manovit C、Lu J-YJ、Narayanan S 相关软件： 嗯；Coq；TSL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
CalFuzzer公司 2份文件引用(2010–2018) 软件作者： Joshi，帕拉维；奈克，马尤尔；公园、长秀；塞·库什克 相关软件： SLAM；蜗牛；可爱… 主要字段： 计算机科学（68-XX）
G空间 引用于3份文件(2015–2022) 软件作者： Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal 相关软件： CUDA；GKLEE；GPU验证… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
番石榴 1份文件引用(2005) 软件作者： David F.Bacon、Robert E.Strom、Ashis Tarafdar 相关软件： 调制；OCaml；AtomCaml… 主要字段： 计算机科学（68-XX）
迪奥塔 2份文件引用(2004) 软件作者： 米歇尔·朗塞；乔纳斯·梅贝；德博舍尔，科恩 相关软件： 爪哇；SPECjvm2008；DaCapo… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
特征CFA 引用于3份文件(2011–2012) 软件作者： 塔伦·帕布；Shreyas Ramalingam；马修，可能；霍尔，玛丽 相关软件： PETSc；CUDA；THORS… 主要字段： 计算机科学（68-XX）
任务检查器 2份文件引用(2012–2022) 软件作者： Raghavan Raman；赵继生；维维克·萨卡尔（Vivek Sarkar）；马丁·维切夫（Martin Vechev）；叶哈夫，埃兰 相关软件： github；罗斯林；RacerX… 主要字段： 计算机科学（68-XX）
多种族 1份文件引用(2017) 软件作者： 埃利·波兹尼安斯基（Eli Pozniansky），阿萨夫·舒斯特（Assaf Schuster） 相关软件： 螺纹消毒剂；CDS检查器；ktsan… 主要字段： 计算机科学（68-XX）
ompVerify（omp验证） 在0个文档中引用 软件作者： V.Basupalli；T.Yuki；S.Rajopadhye；A.Morvan；S.德里安；P.Quinton；D.旺纳科特 相关软件： github；瓦尔格林德；CUDA公司 主要字段： –
坦桑尼亚 1份文件引用(2017) 软件作者： 克里斯托弗·利德伯里（Christopher Lidbury）；阿拉斯泰尔·唐纳森。 相关软件： 螺纹消毒剂；多种族；CDS检查器… 主要字段： 计算机科学（68-XX）