冲锋！ 10篇文献引用(2012–2021) 软件作者： 杰斯珀·本特森；Jonas Braband Jensen；拉尔斯·比克达尔 相关软件： Coq；工具链；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
贾格诺 引用于3份文件(2015–2018) 软件作者： 乔纳森·海宁（Jonathan Heinen）；克里斯蒂娜·詹森（Christina Jansen）；Joost-Pieter Katoen；诺尔，托马斯 相关软件： HIP；见证人；MONA… 主要字段： 计算机科学（68-XX）
MLAT公司 引用于3份文件(1993–2008) 软件作者： Sekizawa、Toshifusa；田边、吉诺里；Yuasa、Yoshifumi；高桥，Koichi 相关软件： 爆炸；Kaskade7；PLTMG公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PolyFARM公司 引用于3份文件(2002–2012) 软件作者： 阿曼达·克莱尔；罗斯·D·金。 相关软件： GOLEM公司；阿列夫；TopLog… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
科内尔公司 1份文件引用(2020) 软件作者： 马利亚阿尔普特；丹尼尔·帕尔多（Daniel Pardo）；艾丽西亚·维拉纽埃娃 相关软件： 金级规范；莫德；z3… 主要字段： 计算机科学（68-XX）