自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Java PathFinder 96篇文献引用(2000–2023) 软件作者： 克劳斯·哈弗伦德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
MoDeST公司 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；乔斯特·皮特，卡托恩；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
普罗米拉 在30份文件中引用(1997–2022) 软件作者： Natarajan，V。；Gerard J.霍尔兹曼。 相关软件： 自旋蛋白；jSpin；ProB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
LTS最小值 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布罗姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SymmSpin公司 15篇文献引用(2000–2010) 软件作者： 博什纳奇奇，德拉甘作者简介；Dams，Dennis；莱泽克·霍伦德斯基 相关软件： 自旋蛋白；TopSpin公司；茂物… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
顶部旋转 在11份文件中引用(2007–2022) 软件作者： 阿拉斯泰尔·唐纳森；爱丽丝·米勒 相关软件： 自旋蛋白；SymmSpin；间隙… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
ByMC公司 10篇文献引用(2014–2023) 软件作者： Igor Konnov、Marijana Lazic、Helmut Veith、Josef Widder 相关软件： z3；威尔第；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
海伦娜 5份文件引用(2014–2019) 软件作者： Hennicker，R.、Klarl，A.和Wirsing，M。 相关软件： DEECO公司；SCEL；重新规范… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
旋转到葡萄 6篇文献引用(2005–2010) 软件作者： 阿拉斯泰尔·唐纳森；爱丽丝·米勒（Alice Miller）；卡德，莫菲 相关软件： 自旋蛋白；鹦鹉螺；SymmSpin… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
SPHIN公司 5份文件引用(2006–2017) 软件作者： 胡松松（Hosung Song） 相关软件： PHAVer公司；高科技；旋转… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SCE灯 4份文件引用（2014年至2020年） 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；阿尔贝托卢克·拉富恩特；米歇尔·洛雷蒂；安德烈亚·莫里切塔（Andrea Morichetta）；罗萨里奥·普格利泽；瓦莱里奥·塞尼；弗朗西斯科·蒂齐 相关软件： SCEL；自旋蛋白；琳达… 主要字段： 计算机科学（68-XX）
欧洲广告标准 引用于2份文件(2001–2005) 软件作者： Shanbhag，Vivek K。；Gopinath，K。；马尔库·图伦；阿里·阿赫蒂亚宁；马蒂·卢克凯宁 相关软件： – 主要字段： 计算机科学（68-XX）
第2b页 引用于2份文件（2001年-2010年） 软件作者： 迈克尔·巴尔达穆斯（Michael Baldamus）；Jochen的Schr“oder-Babo 相关软件： 普罗米拉；自旋蛋白；ML… 主要字段： 计算机科学（68-XX）