Java PathFinder 96篇文献引用(2000–2023) 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
MoDeST公司 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；霍尔格赫尔曼斯；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；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。；杰拉德·J·霍尔兹曼。 相关软件： 自旋蛋白；j自旋；ProB… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
LTSmin公司 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）
SCE灯 4份文件引用(2014–2020) 软件作者： De Nicola，罗科；阿尔贝托卢克·拉富恩特；米歇尔·洛雷蒂；安德烈亚·莫里切塔（Andrea Morichetta）；罗萨里奥·普格利泽；瓦莱里奥·塞尼；弗朗西斯科·蒂埃齐 相关软件： SCEL；自旋蛋白；琳达… 主要字段： 计算机科学（68-XX）
欧洲广告标准 2份文件引用(2001–2005) 软件作者： Vivek K.Shanbhag。；Gopinath，K。；马尔库·图伦；阿里·阿赫蒂安；马蒂·卢克凯宁 相关软件： – 主要字段： 计算机科学（68-XX）