MCK公司 34份文件引用(2004–2023) 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 相关软件： MCMAS；VerICS；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
SMV公司 在13份文件中引用(1986–2018) 软件作者： Ed Clarke；K.L.McMillan；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
配套元件 6篇文献引用(1993–2017) 软件作者： W.R.贝维尔 相关软件： veriSoft；Isabelle/HOL；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
塔克 7份文件引用（2007-2012） 软件作者： 大卫·巴尔德（David Baelde）；戴尔·米勒；斯诺，扎卡里 相关软件： 阿贝拉；贝德维尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
一致性 3份文件引用(2008–2014) 软件作者： 史蒂文斯·D、德拉吉塞维奇·S和罗思利·K。 相关软件： LUCAS；FANN；AntNet… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学编程（90-XX）…
CLF公司 2份文件引用(2007–2018) 软件作者： 凯文·沃特金斯；伊利亚诺·塞维萨托；弗兰克·芬宁（Frank Pfenning）；大卫·沃克 相关软件： 名义上的伊莎贝尔；阿格达；Abella… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）