达夫尼 105份文献中引用(2010–2024) 软件作者： 鲁斯坦·莱诺 相关软件： z3；Why3；布吉… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
VeriFast公司 75篇文献引用（2009年-2023年） 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Nitpick公司 79份文件引用(1999–2023) 软件作者： 布兰切特，贾斯敏·克里斯蒂安；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
CVC公司 45篇文献引用(2002–2021) 软件作者： 阿伦·斯塔姆（Aaron Stump）；克拉克·巴雷特（Clark W.Barrett）。；大卫·L·迪尔。 相关软件： CVC-Lite；简化；箔条… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基，蒂尔；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者： 吴春汉；张兴元；城市，基督教 相关软件： Coq；存档正式证据；常规集… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
CoCaml公司 9份文件引用(2017–2023) 软件作者： Jeannin，Jean-Baptiste；德克斯特·科赞；亚历山德拉·席尔瓦 相关软件： coFJ；CoALP；Paco… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： 吸血鬼；SMT-LIB；芝诺… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）