联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Java PathFinder 96篇文献引用(2000–2023) 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；简·斯曼斯；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar公司；臀部… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
工具链 43篇文献引用(2011–2023) 软件作者： Andrew W.Appel。；Robert Dockins；阿奎那·霍伯；Lennart Beringer；约西亚·多兹；戈登·斯图尔特；Blazy，Sandrine；泽维尔·勒罗伊 相关软件： 辅酶q；VeriFast；锈蚀… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
概念网 19份文件引用(2007–2023) 软件作者： Liu H，Singh P；哈瓦西，C.，斯佩尔，R.，阿隆索，J。 相关软件： WordNet；BERT；雅高… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
自动教程 5份文件引用(2001–2021) 软件作者： 亚瑟·C·格雷瑟。；卢、舒兰；乔治·坦纳（George Tanner）·杰克逊（Jackson）；米切尔、希瑟·海特；马修·文图拉；安德鲁·奥尼（Andrew Olney）；马克斯·路易斯。 相关软件： LIBSVM；汗学院；科姆特… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
CCSP公司 14篇文献引用(1993–2022) 软件作者： 贝丝·阿罗史密斯；布鲁斯·麦克米林 相关软件： 马戏团；FDR3；Z轴 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
蚱蜢 14篇文献引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达夫尼；VeriFast；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
图拉法勒 12份文件引用(2004–2012) 软件作者： Bhargavan，Karthikeyan；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉 相关软件： Spi2Java；ProVerify；AVISPA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
高铁 在11份文件中引用(2012–2021) 软件作者： Grebenshchikov，S.、Gupta，A.、Lopes，N.P.、Popeea，C.、Rybalchenko，A。 相关软件： z3；CiaoPP；再见… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
薄片 10篇文献引用(2016–2022) 软件作者： Carter，M.、He，S.、Whitaker，J.、Rakamarić，Z.、Emmi，M。 相关软件： CBMC；z3；SeaHorn… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
Psi结石 12份文件引用(2009–2021) 软件作者： 杰斯珀·本特森 相关软件： 名义上的伊莎贝尔；Isabelle/HOL；Twelf… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；艾菲尔铁塔；规范#… 主要字段： 计算机科学（68-XX）
克拉托斯 10篇文献引用(2011–2022) 软件作者： A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件： 爆炸；系统C；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AURA公司 10篇文献引用(2008–2016) 软件作者： 贾利民；杰弗里·沃恩（Jeffrey A.Vaughan）。；Karl Mazurak；赵建洲；卢克·扎尔科；约瑟夫·肖尔（Joseph Schorr）；史蒂夫·兹丹塞维奇 相关软件： 辅酶q；F*；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ComFoRT公司 10篇文献引用(2005–2011) 软件作者： 萨加尔·查基（Sagar Chaki）、詹姆斯·艾弗斯（James Ivers）、娜塔莎·沙里吉纳（Natasha Sharygina）、库尔特·沃尔诺（Kurt C.Wallnau） 相关软件： 魔法；卫星抗体；Bebop… 主要字段： 计算机科学（68-XX）
精炼一元 9份文件引用(2014–2020) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；存档正式证据；Gabow SCC… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；数值分析（65-XX）…
小埃菲尔 9份文件引用（2001年至2011年） 软件作者： 奥利维埃·泽德拉（Olivier Zendra）；多米尼克·科尔内 相关软件： 艾菲尔铁塔；Smalltalk；TREX… 主要字段： 计算机科学（68-XX）
将死 1份文件引用(2022) 软件作者： 米歇尔·朗（Michel Lang，Bernd Bischl） 相关软件： R；掌根肌；lme4… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
莫德哈特 5份文件引用（1997年至2017年） 软件作者： F.贾哈尼安；A.K.Mok先生 相关软件： 酯类；Uppaal；克罗诺斯… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
萨瑟 7份文件引用(1996–2010) 软件作者： S.M.Omohundro、C.-C.Lim、J.Bilmes、， 相关软件： 艾菲尔铁塔；红宝石；回路… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
霍恩洛格 6篇文献引用（1987年至1993年） 软件作者： 让·H·加利耶。；斯坦·拉茨 相关软件： Ltur公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
西比尔 6篇文献引用(2010–2020) 软件作者： 塞里托、塞雷内拉；玛尔塔·恰尔迪亚·梅耶 相关软件： 斯巴达克斯；HyLoTab；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CSLLean公司 5份文件引用(2010–2023) 软件作者： Alenda，R.、Olivetti，N.、Pozzato，G.L。 相关软件： 康德莱恩；KLMLean公司；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
杰霍恩 3份文件引用(2020–2021) 软件作者： Temesghen Kahsai；Rody Kersten；菲利普·吕默；华斯卡·桑切斯；马丁·施瓦夫 相关软件： SeaHorn；z3；FunArray… 主要字段： 计算机科学（68-XX）
帕瓦内 4份文件引用(2002) 软件作者： G.-C.Roman、K.C.Cox、Donald Wilcox、Jerome Y.Plun 相关软件： 探戈；利奥纳多；宙斯… 主要字段： 计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼 相关软件： 马文；德尔塔CCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿尔塔 3份文件引用(2016–2020) 软件作者： 李建文；姚银波；Pu、Geguang；张立军；何继峰 相关软件： 利维坦；TRP++；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
美国汽车制造商协会 3份文件引用(2018–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜 相关软件： 莫德；ABETS；Liquid Haskell… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
DynAlloy合金 2份文件引用(2007–2021) 软件作者： 马塞洛·弗里亚斯（Marcelo F.Frias）、胡安·加莱奥蒂（Juan P.Galeotti）、卡洛斯·洛佩斯·蓬博（Carlos López Pombo）、纳扎雷诺·阿吉雷（Nazareno Aguirre） 相关软件： MiniSat；JPF-SE；YOGI… 主要字段： 计算机科学（68-XX）
J-LO公司 3份文件引用(2009–2012) 软件作者： 埃里克·博登（Eric Bodden）；沃尔克·斯托尔茨 相关软件： 方面J；Java-MOP；DaCapo… 主要字段： 计算机科学（68-XX）
JBMC公司 2份文件引用(2021–2022) 软件作者： 卢卡斯·科尔代罗（Lucas Cordeiro）；帕斯卡·凯塞利（Pascal Kesseli）；Daniel Kroening；Peter Schrammel；马雷克·特提克 相关软件： OpenJML；凯伊；JML单位… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
估价员 3份文件引用(2008–2010) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： 斯卡拉；Mathematica；z3… 主要字段： 计算机科学（68-XX）
vlogsl语言 3份文件引用(2011–2013) 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Angelic验证 2份文件引用(2017–2018) 软件作者： Das，A.、Lahiri，S.K.、Lal，A.、Li，Y。 相关软件： ns-3；veriSoft；SPEC基准… 主要字段： 计算机科学（68-XX）
羚羊 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
卡利班 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 阿里尔；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
CLF公司 2份文件引用(2007–2018) 软件作者： 凯文·沃特金斯；伊利亚诺·塞维萨托；弗兰克·芬宁（Frank Pfenning）；大卫·沃克 相关软件： 名义上的伊莎贝尔；阿格达；Abella… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
克里奥 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；阿里尔；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
混合波动 1份文件引用(2015) 软件作者： 奥利维埃·布伊索（Olivier Bouissou）；埃里克·古鲍特（Eric Goubault）；Sylvie推杆；卡里姆·特卡尔；弗兰克·维德琳 相关软件： GRK标签 主要字段： 计算机科学（68-XX）
f-SWRL系统 1份文件引用(2006) 软件作者： 潘，杰夫·Z。；乔戈斯·斯托洛斯（Giorgos Stoilos）；乔戈斯·斯塔姆（Giorgos Stamou）；瓦西里斯·索瓦拉斯；伊恩·霍洛克斯 相关软件： 旋转（swrl） 主要字段： 计算机科学（68-XX）
科内尔公司 1份文件引用(2020) 软件作者： 马利亚阿尔普特；丹尼尔·帕尔多（Daniel Pardo）；艾丽西亚·维拉纽瓦 相关软件： 金级规范；莫德；z3… 主要字段： 计算机科学（68-XX）
TXP公司 1份文件引用(2005) 软件作者： Dudani，S.、Geada，J.、Jakacki，G.、Vainer，D。 相关软件： Java-MaC；LTL2BA；自旋蛋白 主要字段： 计算机科学（68-XX）
终极大班 1份文件引用(2018) 软件作者： 格雷丘斯，M.，迪特施，D.，海兹曼，M.、纳茨，A.、施瓦茨勒，C.、席林，C.、舒塞勒，F.、波德尔斯基，A。 相关软件： 终极Kojak；石龙子；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
验证2SMV 在0个文档中引用 软件作者： Irfan，A.，Cimatti，A.，Griggio，A.，Roveri，M.，Sebastiani，R。 相关软件： 谷歌测试；尤瑟斯；z3… 主要字段： –