PVS公司 618份文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
联合 184份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CompCert公司 59篇文献引用(2009–2023) 软件作者： X·勒罗伊。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
VeriFun公司 12份文件引用（2005年至2019年） 软件作者： 克里斯托夫·沃尔特；斯蒂芬·施韦策 相关软件： ACL2；哈斯克尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
分离逻辑 10篇文献引用(2015–2022) 软件作者： 彼得·兰米奇（Peter Lammich）；雷内·梅斯 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
适用的吊装 1份文件引用(2016) 软件作者： 安德烈亚斯·洛赫比勒；约书亚·施耐德 相关软件： Coq；Isabelle/HOL；密度编译器… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）