PVS公司 617文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CompCert公司 58篇文献引用（2009年-2023年） 软件作者： X·勒罗伊。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
CoLoR公司 40篇文献引用（2006年至2022年） 软件作者： F.Blanqui、W.Delobel、S.Coupet-Grimal、S.Hinderer、A.Koprowski 相关软件： Coq；Isabelle/HOL；CeTA… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
Minlog公司 25篇文献引用(2001–2023) 软件作者： 乌尔里希·伯杰；宫本健二；赫尔穆特Schwichtenberg；莫尼卡·塞森伯格 相关软件： Coq；Nuprl；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
HOL布吉 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.鲁斯坦M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
贾霍布 11份文件引用(2007–2022) 软件作者： Kuncak，V.、Wies，T.、Zee，K.、Malkis，A.、Bouillaguet，C.、Nguyen，H.H.、Schmitt，P。 相关软件： z3；VAMPIRE公司；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
分离逻辑 10篇文献引用(2015–2022) 软件作者： 彼得·拉姆米奇；雷内·梅斯 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
VeriFun公司 10篇文献引用(2005–2017) 软件作者： 克里斯托夫·沃尔特；斯蒂芬·施韦策 相关软件： ACL2；哈斯克尔；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
PVSio-网 2份文件引用(2014–2016) 软件作者： Patrick Oladimeji、Paolo Masci、Paul Curzon、Harold Thimbleby 相关软件： 操纵器；HybridSal；HSolver… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
适用的吊装 1份文件引用(2016) 软件作者： 安德烈亚斯·洛赫比勒；约书亚·施耐德 相关软件： Coq；Isabelle/HOL；密度编译器… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
联合验证人 1份文件引用(2023) 软件作者： 是的，埃里克；希塔杰，布里兰；Owre，Sam；梅纳·奎梅纳；Natarajan Shankar 相关软件： TacTok；游戏手柄；深度数学… 主要字段： 计算机科学（68-XX）
EthVer公司 1份文件引用（2021年） 软件作者： 尤卡斯·马祖雷克 相关软件： 甲氰菊酯；曼蒂科尔；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）