NuSMV公司 279篇文献引用(1999–2023) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马可·罗维里（Marco Roveri）；Roberto Cavada、Michele Dorigatti、Alessandro Mariotti、Andrea Micheli、Sergio Mover、Marco Roveri、Andrei Tchaltsev 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal公司；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
MCK公司 34份文件引用(2004–2023) 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 相关软件： MCMAS；VerICS；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
HySAT卫星 26篇文献引用(2006–2021) 软件作者： Fränzle，Martin；克里斯蒂安·赫尔德 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
有限责任公司 在13份文件中引用(2012–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；弗洛里安·默兹（Florian Merz）；卡斯滕·辛兹 相关软件： 不明飞行物；CPA检查员；CBMC… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
玛丽 8份文件引用(2013–2022) 软件作者： 莫妮卡·海纳；克里斯蒂安·罗尔（Christian Rohr）；马丁·施瓦克 相关软件： 清爽；棱镜；SABRE… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
迪维尔 9份文件引用(2005–2010) 软件作者： Malay K.Ganai。；阿蒂·古普塔；普拉纳夫，阿沙尔 相关软件： 糠；卫星抗体；CBMC… 主要字段： 测量和集成（28-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
萨托利语 8份文件引用(2005–2009) 软件作者： Iyer MK、Parthasarathy G、Cheng K-T 相关软件： 糠；SATIRE（满意感）；伯克敏… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
爱马仕 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： AVISPA；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ProbReach公司 9份文件引用(2015–2023) 软件作者： 费多·什马罗夫（Fedor Shmarov）；保罗·祖利亚尼 相关软件： SReachTools；AMYTISS公司；静止… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
SAL公司 5份文件引用(2004–2021) 软件作者： 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件： 自旋蛋白；PVS；升起… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
墨西哥煎玉米卷 6篇文献引用（2013-2021） 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·蓬博（Carlos G.Lopez Pombo）；马塞洛·F·弗里亚斯 相关软件： TestEra；Java PathFinder；GitHub… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-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）
SATMC公司 6篇文献引用(2005–2018) 软件作者： 亚历山德罗·阿曼多（Alessandro Armando）、卢卡·孔帕尼亚（Luca Compagna） 相关软件： AVISPA；OFMC；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；阿列克谢·托夫奇格里奇科 相关软件： 清爽；COPASI；MoVisPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
FunFrog公司 5份文件引用（2013-2019） 软件作者： Ondrej Sery；格里戈里·费迪尤科维奇；娜塔莎·莎莉吉娜 相关软件： eVolCheck；佩里普洛；OpenSMT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Verics公司 6篇文献引用(2003–2018) 软件作者： 彼得亚·德米因斯基；阿加塔·雅诺夫斯卡；Pawe Janowskił；沃伊切赫·彭泽克（Wojciech Penczek）；阿加塔·波罗拉；马西耶·斯兹特尔（Maciej Szreter）；沃兹纳，博泽纳；安德烈·兹布雷泽兹尼 相关软件： MCMAS；MCK；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CSP2SAT4J型 3份文件引用(2014–2016) 软件作者： 勒贝雷，D.，林奇，I。 相关软件： 微量锌；萨齐拉；阿祖卡… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
探查-黑线 4份文件引用(2019–2021) 软件作者： 艾切尔尼格，伯恩哈德·K。；马丁·塔普勒 相关软件： 棱镜；风暴；AALpy… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
定时丽贝卡 3份文件引用(2016–2020) 软件作者： Khamespanah，E.，Sirjani，M.，Sabahi-Kaviani，Z.，Khosravi，R.，Izadi，M。 相关软件： 丽贝卡；Uppaal公司；旋转… 主要字段： 计算机科学（68-XX）
斯马卡 1份文件引用(2017) 软件作者： 阿明·比尔（Armin Biere）；Jens Knoop；劳拉·科夫亚茨（Laura Kov'acs）；雅各布兹维奇梅尔 相关软件： r-TuBound；STP；OTAWA… 主要字段： 计算机科学（68-XX）
STEWord公司 2份文件引用(2017–2020) 软件作者： 查克拉波蒂，苏普拉蒂克；苏拉布哈西达什维利；Carl-Johan H.Seger。；拉杰库马尔·加贾维利；坦马·霍尔丹卡尔（Tanmay Haldankar）；恰他尼，迪内什；拉凯什·米斯特里 相关软件： MiniSat；ABC；数学SAT5… 主要字段： 计算机科学（68-XX）
VaqTree（价值树） 2份文件引用(2009–2016) 软件作者： Simmonds，J.、Davies，J.和Gurfinkel，A。 相关软件： NuSMV；TSPASS；TRP++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
乌格姆夸特雷 1份文件引用(2023) 软件作者： Josmar Mazucheli；布鲁纳·阿尔维斯；穆斯塔法·科克马兹。 相关软件： SAS；CRAN；GAMLSS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
可变气门正时（VVT） 1份文件引用(2017) 软件作者： 亨宁·贡瑟；阿尔芬斯·拉阿尔曼（Alfons Laarman）；西蒙·詹奇 相关软件： CTIGAR公司 主要字段： 计算机科学（68-XX）