自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal公司；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
摩卡 85篇文献引用(1999–2023) 软件作者： Alur，R.，Henzinger，T.A.，Mang，F.Y.C.，Qadeer，S.，Rajamani，S.K.，Tasiran，S。 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
AGG公司 71篇文献引用(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
MRMC公司 71篇文献引用(2006–2023) 软件作者： 乔斯特·皮特·卡托恩；亚琛工业大学 相关软件： 棱镜；Uppaal公司；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；风笛手；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
雏菊 71篇文献引用(2008–2024) 软件作者： 朱塞皮娜·贝鲁、玛丽亚·皮亚·萨科马尼、斯蒂芬妮娅·奥多利、莱昂蒂娜·达朗戈 相关软件： 西安；COMBOS公司；GenSSI… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；统计学（62-XX）…
nuXmv（数字） 45篇文献引用(2015–2023) 软件作者： 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件： z3；NuSMV；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
活力 32篇文献引用(1993–2018) 软件作者： 托尼·安德鲁斯；沙兹·卡迪尔；Rajamani，Sriram K。；雅各布·雷霍夫；谢、伊晨 相关软件： 自旋蛋白；SLAM；veriSoft… 主要字段： 代数几何（14-XX）；复变量函数（30-XX）；统计学（62-XX）…
茂物 27篇文献引用(2003–2014) 软件作者： 马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；马修·胡西尔（Matthew Hoosier）；马修·罗比 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
模仿者 34份文件引用(1996–2023) 软件作者： 埃蒂安·安德烈 相关软件： Uppaal公司；高科技；PPL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
SeaHorn公司 36篇文献引用(2015–2023) 软件作者： Gurfinkel，A.、Kahsai，T.、Komuravelli，A.、Navas，J.A。 相关软件： z3；垫片；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；琼斯，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基、安德烈·雷巴尔琴科 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
管道 28篇文献引用(2002–2017) 软件作者： 萨加尔·查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伙计 26篇文献引用(1999–2023) 软件作者： 乔恩·林德·尼尔森 相关软件： CUDD；西尔文；PolyBoRi… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 查夫；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
GenSSI公司 20篇文献引用(2013–2023) 软件作者： Chis O、Banga J、Balsa-Canto E 相关软件： 雏菊；西安；COMBOS… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
麻糬 19份文件引用(2015–2023) 软件作者： 佐藤隆介；小林，直纪；Hiroshi Unno先生 相关软件： z3；垫片；GitHub… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
CAESAR_解决 11份文件引用(2006–2022) 软件作者： Radu Mateescu公司 相关软件： CADP；到期未结；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Cogent公司 11份文件引用(2005–2018) 软件作者： 拜伦·库克；Daniel Kroening；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
深度Xplore 9份文件引用(2019–2023) 软件作者： 裴可欣、曹银芝、杨俊峰、苏曼·贾纳 相关软件： 深度愚人；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
薄片 10篇文献引用(2016–2022) 软件作者： Carter，M.、He，S.、Whitaker，J.、Rakamarić，Z.、Emmi，M。 相关软件： CBMC；z3；SeaHorn… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
克拉托斯 10篇文献引用(2011–2022) 软件作者： A.Cimatti、A.Griggio、A.Micheli、I.Narasamdya、M.Roveri 相关软件： 爆炸；系统C；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
动量HMM 8份文件引用(2017–2023) 软件作者： 布雷特·麦克林托克（Brett T.McClintock）、西奥·米歇洛特（Theo Michelot） 相关软件： 移动HMM；R；爬行… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
ArviZ公司 5份文件引用(2019–2024) 软件作者： 库马尔，R。；科林，C。；Hartikainen，A。；O.A.马丁。 相关软件： 蟒蛇；PyMC；斯坦… 主要字段： 积分变换，运算微积分（44-XX）；统计学（62-XX）；数值分析（65-XX）…
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
佩里普洛 8份文件引用(2013–2022) 软件作者： 罗里尼（Simone Fulvio）；Alt，Leonardo；格里戈里·费迪尤科维奇；Hyvärinen，Antti E.J。；娜塔莎·莎莉吉娜 相关软件： eVolCheck；FunFrog；OpenSMT2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；玩游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
腹板-TLR 5份文件引用(2011–2016) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；哈维尔·埃斯伯特；丹尼尔·罗梅罗 相关软件： 莫德；iJulienne公司；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASPIER公司 6篇文献引用(2011–2023) 软件作者： Chaki，S；达塔，A。 相关软件： ProVerify；纳克索斯；EasyCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
英国皇家海军陆战队 6篇文献引用(2020–2022) 软件作者： Niemetz，A。；普雷纳，M。；沃尔夫，C。；Biere，A。；节流阀，H。；G·威森巴赫 相关软件： Boolector；爱格；Yosys… 主要字段： 计算机科学（68-XX）
FunFrog公司 5份文件引用(2013–2019) 软件作者： Ondrej Sery；格里戈里·费迪尤科维奇；娜塔莎·莎莉吉娜 相关软件： eVolCheck公司；佩里普洛；OpenSMT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
皮纳帕 4份文件引用(2008–2011) 软件作者： Moy，M.、Maraninchi，F.、Maillet Contoz，L。 相关软件： 系统C；veriSoft；酯类… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；对照（93-XX）…
StEAM公司 3份文件引用(2004–2011) 软件作者： 彼得·莱文（Peter Leven）；蒂尔曼·梅勒；斯特凡·爱德坎普 相关软件： 自旋蛋白；卫星抗体；Zing… 主要字段： 计算机科学（68-XX）
CDS检查器 5份文件引用(2015–2017) 软件作者： 布莱恩·诺里斯（Brian Norris）、布莱恩·德姆斯基（Brian Demsky） 相关软件： OpenCL；Coq；线程消毒剂… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
查理 3份文件引用(2015–2018) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；詹·蒂埃里·韦格纳 相关软件： 清爽；玛丽；蛇… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；Kang，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
kP工作台 5份文件引用(2015–2023) 软件作者： Gheorghe，M.、Ipate，F.、Mierla，L.、Konur，S。 相关软件： 自旋蛋白；NuSMV；莫德… 主要字段： 计算机科学（68-XX）
沙发2.0 4份文件引用(2012–2017) 软件作者： 布雷什，T。；Hnetynka，P。；Plášil，F。 相关软件： D-Finder；ArchJava；AmbientTalk… 主要字段： 计算机科学（68-XX）
VeriCon公司 5份文件引用（2014年至2021年） 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： 食蚁兽；NetKAT；Kuai… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
焊接工艺数据系统++ 5份文件引用(2005–2023) 软件作者： 巴拉克里希南，G。；代表，T。；基德，N。；Lal，A。；Lim，J。；梅尔斯基，D。；Gruian，R。；Yong，S。；Chen，C.-H。；Teitelbaum，T。 相关软件： GitHub；雅克斯塔布；LTL2BA… 主要字段： 计算机科学（68-XX）
AdamMC公司 4份文件引用(2019–2021) 软件作者： Bernd Finkbeiner、Manuel Gieseking、Jesko Hecking-Harbusch、Ernst-Rüdiger Olderog 相关软件： zUpdate；PTrie；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
沙尔米 2份文件引用(2003–2013) 软件作者： Pelliccione，P。；因弗拉迪，P。；H.穆奇尼。 相关软件： 自旋蛋白；AUTOSAR；MARTE… 主要字段： 计算机科学（68-XX）
CSP2SAT4J型 3份文件引用(2014–2016) 软件作者： 勒贝雷，D.，林奇，I。 相关软件： 微量锌；萨齐拉；阿祖卡… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
FaPAS公司 4份文件引用(2013–2018) 软件作者： B.约丹诺夫，C.贝尔塔 相关软件： NuSMV；VeriSIMPL；算法97… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
杰霍恩 3份文件引用(2020–2021) 软件作者： Temesghen Kahsai；Rody Kersten；菲利普·吕默；华斯卡尔·桑切斯；马丁·施瓦夫 相关软件： SeaHorn；z3；FunArray… 主要字段： 计算机科学（68-XX）
探测黑色范围 4份文件引用(2019–2021) 软件作者： Aichernig，Bernhard K。；马丁·塔普勒 相关软件： 棱镜；风暴；AALpy… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SCE灯 4份文件引用(2014–2020) 软件作者： De Nicola，罗科；阿尔贝托卢克·拉富恩特；米歇尔·洛雷蒂；安德烈亚·莫里切塔（Andrea Morichetta）；罗萨里奥·普格利泽；Valerio Senni；弗朗西斯科·蒂齐 相关软件： SCEL；自旋蛋白；琳达… 主要字段： 计算机科学（68-XX）
VeriSIMPL公司 3份文件引用(2015–2018) 软件作者： 阿兹基亚（Adzkiya）、迪基（Dieky）；张以宁；亚历山德罗·阿巴特 相关软件： 算法97；蛋白石；椭圆工具箱… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；系统论；控制（93-XX）
导线 3份文件引用(2018–2021) 软件作者： 卡米利，马蒂奥；卡洛·贝莱蒂尼；洛伦佐·卡普拉；蒙加，马蒂亚；网飞公司 相关软件： Apache Flink；MongoDB；OpenNebula… 主要字段： 计算机科学（68-XX）
欧内斯特 2份文件引用(2010–2012) 软件作者： Soranzo，N.，Altafini，C。 相关软件： SuBliMinaL；JSBML；KEGGtranslator… 主要字段： 生物学和其他自然科学（92-XX）
尤里卡 3份文件引用(2008–2014) 软件作者： Armando，A.，Benerecetti，M.，Carotenuto，D.，Mantovani，J.，Spica，P。 相关软件： CBMC；SLAM；旋转… 主要字段： 计算机科学（68-XX）
手术室/SM 3份文件引用(1997–2005) 软件作者： 戈登·赖特（Gordon P.Wright）。；N.Dan，Worobetz；康、明；拉德哈·穆克吉（Radha V.Mookerjee）。；拉德哈·钱德拉塞卡兰 相关软件： GAMS；AMPL；近地天体… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SymmPa公司 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
TASS公司_ 3份文件引用(2011–2012) 软件作者： Stephen Siegel指导下的验证软件实验室 相关软件： KLEE公司；ISP；cvc3… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
CGMurphi公司 2份文件引用(2013–2021) 软件作者： 朱塞佩·德拉·佩纳；贝内代托（Benedetto）的Intrigila；Daniele Magazzeni；伊戈尔·梅拉蒂；恩里科·特隆西 相关软件： UPPAAL TIGA公司 主要字段： 系统论；控制（93-XX）
eBCS发电机 2份文件引用(2020–2022) 软件作者： 特罗亚克（Troják，Matej）；萨夫拉内克，大卫；布拉尼斯拉夫·布罗兹曼；卢博什 相关软件： 色度；生物CHAM；libSBML… 主要字段： 生物学和其他自然科学（92-XX）
高斯 2份文件引用(2011–2018) 软件作者： 罗伯特·帕尔默；史蒂夫·巴鲁斯；余阳；Ganesh Gopalakrishnan；罗伯特·M·柯比 相关软件： ISP；自旋蛋白；SLAM… 主要字段： 计算机科学（68-XX）
对象检查 1份文件引用(2002) 软件作者： 谢飞；弗拉基米尔·莱文；詹姆斯·布朗（James C.Browne）。 相关软件： TLPVS；Uppaal公司；PVS… 主要字段： 计算机科学（68-XX）
RISCAL公司 2份文件引用(2018) 软件作者： 沃尔夫冈·施赖纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SIMP公司 2份文件引用(2013–2019) 软件作者： De Angelis，Emanuele；费奥拉万蒂（Fabio Fioravanti）；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂 相关软件： LOGEN公司；PPL；HSF… 主要字段： 计算机科学（68-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；拉姆齐，史蒂文·J。；王志浩（音） 相关软件： TravMC2；GitHub；MoCHi… 主要字段： 计算机科学（68-XX）
狼 2份文件引用(2005–2007) 软件作者： 沙龙·巴纳；Ziv Glazberg；Ishai Rabinovitz 相关软件： Java PathFinder 主要字段： 计算机科学（68-XX）
Bsvygmm公司 1份文件引用(2023) 软件作者： 安托普洛斯、丽贝卡；陈启轩；约瑟夫·塞德兰斯克（Joseph Sedransk）；玛丽·汤普森；孟刚；桑德罗·加利亚 相关软件： mprobit；GPcluster；Mplus… 主要字段： 统计学（62-XX）
B测试框 1份文件引用(2021) 软件作者： de Azevedo Oliveira D、Medeiros V、Déharbe D、Musicante MA 相关软件： 罗丹；GitHub；核心ASM… 主要字段： 计算机科学（68-XX）
COMBINE公司 在0个文档中引用 软件作者： Nguyen，An N。；Quan，Tho T。；Nguyen，Phung H。；Bui，Thang H。 相关软件： z3；HIP；Java PathFinder… 主要字段： –
瓦夫莱斯先生 1份文件引用(2015) 软件作者： D.雷纳德。 相关软件： MCMAS-SLK；CTLSAT；鹰… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ODV公司 1份文件引用(2015) 软件作者： V.Ermolayev、A.Copylov、N.Keberle、E.Jentzsch、W.-E。马茨克 相关软件： OIM公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Roosterize公司 1份文件引用(2020) 软件作者： 聂鹏宇；卡尔·帕尔姆斯科格（Karl Palmskog）；李俊毅（Junyi Jessy）；Gligoric，米洛斯 相关软件： SerAPI；PCM库；JSNice… 主要字段： 计算机科学（68-XX）
SMBioNet公司 1份文件引用(2021) 软件作者： Khalis，Z.、Comet，J.P.、Richard，A.、Bernot，G。 相关软件： TotemBioNet；NuSMV公司 主要字段： 生物学和其他自然科学（92-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： –