自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
超小卫星 588份文件引用(2003–2023) 软件作者： Niklas Eén、Niklas Sörensson 相关软件： 糠；伯克敏；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
NuSMV公司 282份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（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）…
Java PathFinder 96篇文献中引用（2000年-2023年） 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
迪维尼 40篇文献引用(1996–2020) 软件作者： J.Barnat；L.Brim；P.罗凯 相关软件： 自旋蛋白；BEEM；NuSMV… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
基础知识 46篇文献引用(2011–2023) 软件作者： 罗伯特·布雷顿；阿兰·米什琴科 相关软件： MiniSat；z3；艾格… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
模仿者 34份文件引用（1996年-2023年） 软件作者： 埃蒂安·安德烈 相关软件： Uppaal公司；高科技；PPL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
垫片 31份文件引用(2015–2023) 软件作者： 科穆拉维利，安维什；阿里·古芬克尔（Arie Gurfinkel）；萨加尔查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HySAT卫星 26篇文献引用(2006–2021) 软件作者： Fränzle，Martin；克里斯蒂安·赫尔德 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
罗密欧 27篇文献引用(2005–2020) 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马根（Morgan Magnin）；Olivier Roux（H.） 相关软件： TINA；Uppaal；Kronos… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
SymmSpin公司 15篇文献引用(2000–2010) 软件作者： 博什纳奇奇，德拉甘作者简介；Dams，Dennis；莱泽克·霍伦德斯基 相关软件： 自旋蛋白；TopSpin；茂物… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
玛丽 8份文件引用(2013–2022) 软件作者： 莫妮卡·海纳；克里斯蒂安·罗尔（Christian Rohr）；马丁·施瓦克 相关软件： 清爽；棱镜；SABRE… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MAVEN公司 9份文件引用（2007-2013） 软件作者： Max Goldman；埃米利亚·卡茨（Emilia Katz）；Shmuel Katz 相关软件： ProMoVer；CVPP；Aspectual Caml… 主要字段： 计算机科学（68-XX）
元游戏 9份文件引用(1991–2009) 软件作者： 马库斯·穆勒·奥尔姆（Markus Müller-Olm）、海森柳（Haiseung Yoo） 相关软件： 自旋蛋白；GDL；jETI公司 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
ProbeReach公司 9份文件引用(2015–2023) 软件作者： 费多·什马洛夫（Fedor Shmarov）；保罗·祖利亚尼 相关软件： SReachTools；棱镜；AMYTISS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
MoChiBA公司 7份文件引用(2017–2023) 软件作者： 所罗门·西克特；简·Křetínsk 相关软件： 棱镜；SPOT；拉比尼泽… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
C-SHORe公司 6篇文献引用(2013–2017) 软件作者： 克里斯托弗·布罗德本特；Carayol，阿诺；黑格，马修；奥利维尔·塞雷 相关软件： AProVE；廷巴克；MoCHi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
漫画 4份文件引用(2014–2021) 软件作者： Jansen，Nils；”埃里卡·亚伯拉罕；沃尔克，马提亚斯；拉尔夫·威默（Ralf Wimmer）；Joost-Pieter Katoen；贝恩德·贝克尔 相关软件： 棱镜；DiPro；z3… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GEZEL公司 6篇文献引用(2002–2018) 软件作者： 迈克尔·汉森（Michael R.Hansen）。；Madsen，Jan；布雷克林（Aske Wiid Brekling） 相关软件： Uppaal；克罗诺斯；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
查理 3份文件引用(2015–2018) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；简·蒂埃里·韦格纳 相关软件： 清爽；玛丽；蛇… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；豪克芭蕾舞团；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
鳄鱼 3份文件引用（2011年至2021年） 软件作者： Colange，M。；Baarir，S。；Kordon，F。；蒂里·米格（Thierry-Mieg，Y.）。 相关软件： ALGOL 60；海伦娜；AlPiNA… 主要字段： 计算机科学（68-XX）
探查-黑线 4份文件引用（2019年至2021年） 软件作者： Aichernig，Bernhard K。；马丁·塔普勒 相关软件： 棱镜；风暴；AALpy… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SCE灯 4份文件引用(2014–2020) 软件作者： De Nicola，罗科；阿尔贝托卢克·拉富恩特；米歇尔·洛雷蒂；安德烈亚·莫里切塔（Andrea Morichetta）；罗萨里奥·普格利泽；瓦莱里奥·塞尼；弗朗西斯科·蒂埃齐 相关软件： SCEL；自旋蛋白；琳达… 主要字段： 计算机科学（68-XX）
VeriSIMPL公司 3份文件引用（2015年至2018年） 软件作者： 阿兹基亚（Adzkiya）、迪基（Dieky）；张以宁；亚历山德罗·阿巴特 相关软件： 算法97；蛋白石；椭圆工具箱… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；系统论；控制（93-XX）
阿尔塔 3份文件引用(2016–2020) 软件作者： 李建文；姚银波；Pu、Geguang；张丽君；何继峰 相关软件： 利维坦；TRP++；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
埃夫罗斯托斯 3份文件引用(2019–2022) 软件作者： 阿内夫拉维斯，扎尼斯；丹尼尔·奈德（Daniel Neider）；马修·菲利普；保罗·塔布阿达 相关软件： R2U2；猫头鹰；副驾驶… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
PiXL系列 1份文件引用(2007) 软件作者： 玛丽亚·德尔马·加拉多（del Mar Gallardo）；马丁内斯，杰苏斯；佩德罗·梅里诺；努涅斯，巴勃罗；埃内斯托·皮门特尔 相关软件： 凯撒；CAESAR_SOLVE公司；班德拉… 主要字段： 计算机科学（68-XX）
TotemBioNet公司 3份文件引用（2020年至2022年） 软件作者： 德博拉·博伊恩瓦尔（Déborah Boyenval）、吉莱斯·贝诺（Gilles Bernot）、海莱内·科拉维扎（Hélène Collavizza）、让·鲍尔彗星（Jean-Paul Comet） 相关软件： NuSMV；PyBoolNet；金西姆… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
AJPF公司 2份文件引用(2013–2018) 软件作者： 路易斯·丹尼斯（Louise A.Dennis）。；Michael Fisher；马特·韦伯斯特 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 计算机科学（68-XX）
CGMurphi公司 2份文件引用(2013–2021) 软件作者： 朱塞佩·德拉·佩纳；贝内代托（Benedetto）的Intrigila；Daniele Magazzeni；伊戈尔·梅拉蒂；恩里科·特隆西 相关软件： UPPAAL TIGA公司 主要字段： 系统论；控制（93-XX）
显式PRISMSymm 2份文件引用(2015) 软件作者： 帕特尔，里马；凯文·帕特尔（Kevin Patel）；蒂伦·帕特尔 相关软件： 棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
新千年发展目标 2份文件引用(2011–2012) 软件作者： 阿贝德，赛义德；亚辛·莫赫塔里；艾特·穆罕默德（Ait-Mohamed），奥特曼（Otmane）；索菲涅·塔哈尔 相关软件： Velev SAT基准；NuSMV公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
RISCAL公司 2份文件引用（2018年） 软件作者： 沃尔夫冈·施莱纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；卡斯珀… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；github；MoCHi… 主要字段： 计算机科学（68-XX）
DS验证器 1份文件引用（2018年） 软件作者： 查夫斯、列侬；伊奥里·贝萨；卢卡斯·科尔代罗（Lucas Cordeiro）；丹尼尔·克罗宁 相关软件： Matlab；DSVerifier；CBMC… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
EthVer公司 1份文件引用(2021) 软件作者： 尤卡斯·马祖雷克 相关软件： 甲氰菊酯；曼蒂科尔；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
纸莎草纸-RT 1份文件引用(2022) 软件作者： 萨胡、斯内哈；鲁思·肖尔（Ruth Schorr）；Medina-Bulo、Inmaculada；马蒂亚斯·瓦格纳 相关软件： NuSMV；姆约利尼尔；OCRA… 主要字段： 计算机科学（68-XX）
路径查找器 1份文件引用(2002) 软件作者： 本·达维德（Ben-David），肖姆（Shoham）；Anna Gringauze；斯特林，巴鲁克；Wolfsthal，纱线 相关软件： —— 主要字段： 计算机科学（68-XX）
托尔佩多 1份文件引用(2021) 软件作者： 克劳迪奥·蒙吉（Claudio Menghi）；亚历山德罗·玛丽亚·里齐（Alessandro Maria Rizzi）；Anna Bernasconi；鲍拉·斯波莱蒂尼 相关软件： KEGG；github；LTSA-WS… 主要字段： 计算机科学（68-XX）