VCC（沃尔沃汽车公司） 61篇文献引用(2010–2023) 软件作者： Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies 相关软件： z3；布吉；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
短吻鳄 12份文件引用(2008–2023) 软件作者： 劳拉·科瓦奇 相关软件： Mathematica；fastZeil；Aligator.jl… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
c2i公司 10篇文献引用(2016–2023) 软件作者： 拉胡尔·夏尔马（Rahul Sharma）；亚历克斯·艾肯 相关软件： z3；胡迪尼；Eldarica… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
修复包 3份文件引用（2013-2017） 软件作者： 团结方；Minh-Thai Trinh；Anh-Hoang Truong；魏恩甘钦 相关软件： MemCAD；TVLA；捕食者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CLN2投资 3份文件引用(2020–2022) 软件作者： Gabriel Ryan、Justin Wong、Jinan Yao、Gu Ronghui、Suman Jana 相关软件： 代码2发票；垫片；z3… 主要字段： 计算机科学（68-XX）
估价员 3份文件引用(2008–2010) 软件作者： 托马斯·亨辛格。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： 斯卡拉；Mathematica；z3… 主要字段： 计算机科学（68-XX）
爱丽丝 2份文件引用(2014–2018) 软件作者： 费维安·梅森纽夫（Vivien Maisonneuve）、奥利维尔·赫曼特（Olivier Hermant）、弗朗索瓦·伊里戈因（François Irigoin） 相关软件： ASTREE公司；烟尘；PPL… 主要字段： 计算机科学（68-XX）
DynaMate公司 1份文件引用(2015) 软件作者： Galeotti，J.P.、Furia，C.A.、May，E.、Fraser，G.、Zeller，A 相关软件： 灵华；VAMPIRE公司；KeY… 主要字段： 计算机科学（68-XX）
solc验证 2份文件引用(2021) 软件作者： 阿尔科斯·哈伊杜，德扬·约瓦诺维奇 相关软件： VerX；深海；Manticore… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
Absynth.jl公司 1份文件引用(2022) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；达内什瓦·阿姆罗拉希；尼古拉·比约纳；劳拉·科瓦奇 相关软件： z3（零3） 主要字段： 计算机科学（68-XX）
PRINSYS公司 1份文件引用(2019) 软件作者： Gretz，F.、Katoen，J.-P.、McIver，A。 相关软件： CEGAR；Aligator.jl；风暴… 主要字段： 计算机科学（68-XX）
终极大班 1份文件引用(2018) 软件作者： 格雷丘斯，M.，迪特施，D.，海兹曼，M.、纳茨，A.、施瓦茨勒，C.、席林，C.、舒塞勒，F.、波德尔斯基，A。 相关软件： 终极Kojak；石龙子；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）