DyC公司 11份文件引用(2000–2010) 软件作者： Grant，B.、Mock，M.、Philipose，M.和Chambers，C.、Eggers，S.J。 相关软件： VCODE；记忆法；BCEL… 主要字段： 计算机科学（68-XX）
PAGAI公司 在10份文件中引用(2014–2022) 软件作者： 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊 相关软件： 停机坪；PPL；阿斯匹克… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
雅克斯塔布 7份文件引用（2011年-2023年） 软件作者： Johannes Kinder，Helmut Veith 相关软件： github；卫星抗体；WPDS++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
玫瑰色 4份文件引用(2003–2010) 软件作者： 丹·昆兰 相关软件： SUIF；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
暗黑破坏神 3份文件引用(2016–2019) 软件作者： 根特大学；乔纳斯·梅贝；比约恩·德萨特 相关软件： CompCertS；COMPCERTSFI公司；岩盐… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
梅塔内特 2份文件引用(1994–1996) 软件作者： 克劳德·戈麦斯（Claude Gomez）；莫里斯·古尔萨特 相关软件： – 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
蓄意破坏 2份文件引用(2021) 软件作者： Lexi Brent、Anton Jurisevic、Michael Kong、Eric Liu、Francois Gauthier、Vincent Gramoli、Ralph Holz、Bernhard Scholz 相关软件： github；SmartCheck；eThor公司 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
应用镜检查 1份文件引用(2015) 软件作者： Feng，Y.、Anand，S.、Dillig，I.、Aiken，A。 相关软件： AppGuard；EviCheck；双人护卫… 主要字段： 计算机科学（68-XX）
HyDiff（透明度差异） 1份文件引用(2023) 软件作者： 诺勒，亚尼克；科琳娜·帕萨雷努（Corina S.Pasareanu）。；马塞尔·伯赫梅；孙友成；阮和林；拉尔斯·格伦斯克 相关软件： github；内乌兹；FuzzGen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
JavaPDG软件 1份文件引用(2018) 软件作者： Shu G、Sun B、Henderson TA、Podgurski A 相关软件： 准确指出；信息；暗黑破坏神… 主要字段： 计算机科学（68-XX）
ProGraML软件 在0个文档中引用 软件作者： Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件： 亚当；XLA；TensorFlow… 主要字段： –
solgraph（solgraph） 1份文件引用(2021) 软件作者： 雷恩·里维尔 相关软件： 曼蒂科尔；甲氰菊酯；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）