F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；陈娟；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
pGCL公司 14篇文献引用(2005–2022) 软件作者： 公鸡，D。 相关软件： Coq；Isabelle/HOL；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
蜗牛 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DynAlloy合金 2份文件引用(2007–2021) 软件作者： 马塞洛·弗里亚斯（Marcelo F.Frias）、胡安·加莱奥蒂（Juan P.Galeotti）、卡洛斯·洛佩斯·蓬博（Carlos López Pombo）、纳扎雷诺·阿吉雷（Nazareno Aguirre） 相关软件： MiniSat；JPF-SE；瑜伽士… 主要字段： 计算机科学（68-XX）
ENFORCe公司 3份文件引用(2019–2020) 软件作者： Azab，K.，Habel，A.，Pennemann，K.H.，Zuckschwerdt，C。 相关软件： OCLinEcore；OCL2AC；AGG… 主要字段： 计算机科学（68-XX）
澳大利亚皇家银行股份有限公司 2份文件引用（2013-2019） 软件作者： 米哈伊尔·戈夫曼一世。；罗瑞奇；所罗门，艾拉·C·。；张应斌；杨平；斯科特·D·斯托勒。 相关软件： ASASP；Mcmt；TPTP公司 主要字段： 计算机科学（68-XX）