棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
拍打 34份文件引用(2011–2022) 软件作者： 孙军、刘洋、董金松、庞军 相关软件： Uppaal；自旋蛋白；ProB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
反链 34份文件引用(2006–2022) 软件作者： De Wulf M、Doyen L、Henzinger TA、Raskin JF 相关软件： MONA；HIP；旋转… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
APMC公司 29篇文献引用(2004–2021) 软件作者： 托马斯·Hérault；理查德·拉斯因；弗雷德里克·马涅特；西尔万·佩伦内特 相关软件： 棱镜；Uppaal；风暴… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
PRISM-游戏 30篇文献引用(2013–2022) 软件作者： 陈、陶璐；Forejt，Vojtěch；公司；玛尔塔·奎亚特科夫斯卡；戴维·帕克；西马提斯，艾斯蒂斯 相关软件： 棱镜；主旨；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
VESTA公司 引用于22份文件(2007–2021) 软件作者： Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件： 棱镜；莫德；霍尔… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
LiQuor公司 19份文件引用(2007–2019) 软件作者： – 相关软件： 棱镜；MRMC；拉比尼泽… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PVeStA公司 14篇文献引用(2011–2023) 软件作者： AlTurki，M.，Meseguer，J 相关软件： 莫德；PMaude；VESTA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
伊米尔 16篇文献引用(2005–2021) 软件作者： Hákan L.S.尤尼斯。 相关软件： 棱镜；VESTA；MRMC… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
猫头鹰 13份文件引用(2018–2022) 软件作者： Křetínsk \345]，Jan；梅根多夫，托拜厄斯；所罗门·西克特 相关软件： SPOT；条纹；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ProbeReach公司 9份文件引用(2015–2023) 软件作者： 费多·什马罗夫（Fedor Shmarov）；保罗·祖利亚尼 相关软件： SReachTools；AMYTISS公司；静止… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
德拉格 引用于7份文件(2017–2021) 软件作者： 米勒，大卫；所罗门·西克特 相关软件： SPOT；猫头鹰；LTL2BA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MoChiBA公司 引用于7份文件(2017–2023) 软件作者： 所罗门·西克特；简·Křetínsk \345] 相关软件： 棱镜；拉比尼泽；猫头鹰… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DiPro公司 4份文件引用(2014–2023) 软件作者： 侯赛因·阿尔贾扎尔（Husain Aljazzar）、弗洛里安·雷特纳·费舍尔（Florian Leitner-Fischer）、斯特凡·洛伊（Stefan Leue）、迪米塔尔·西梅诺夫（Dimitar Simeonov） 相关软件： 棱镜；漫画；z3… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
信息 4份文件引用(2009–2015) 软件作者： Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件： 棱镜；APMC；SBML测试套件… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者： 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件： 奶牛；MoDeST；科莱姆… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
PSMaude公司 4份文件引用(2013–2023) 软件作者： 卢西安·本蒂亚（Lucian Bentea）；彼得·塞巴·奥维茨基 相关软件： PMaude；莫德；PVeStA… 主要字段： 计算机科学（68-XX）
GPU棱镜 4份文件引用(2016–2021) 软件作者： 博什纳奇奇D、埃德尔坎普S、苏鲁夫斯基D、威伊斯A 相关软件： CUDA；mCRL2；棱镜… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
马尔可夫模型 4份文件引用(2016–2017) 软件作者： 约翰内斯·霍兹尔（Johannes Hölzl）；托比亚斯·尼普科 相关软件： Isabelle/HOL；pGCL；霍尔… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
探查-黑线 4份文件引用(2019–2021) 软件作者： Aichernig，Bernhard K。；马丁·塔普勒 相关软件： 棱镜；风暴；AALpy… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ProbDiVinE公司 2份文件引用(2014–2018) 软件作者： Barnat，J。；Brim，L。；塞尔纳，I。；塞斯卡，M。；J.图莫娃。 相关软件： 棱镜；通过；狂犬病… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
康帕斯 1份文件引用(2013) 软件作者： 艾丁·戈尔（Ebru Aydin Gol）；卡林·贝尔塔 相关软件： Matlab公司 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PTGTS系统 1份文件引用(2020) 软件作者： 克里斯蒂安·泽尔纳（Christian Zöllner）；Matthias的Barkowsky；玛丽亚·马克西莫娃；梅兰妮·施奈德；霍尔格·吉斯 相关软件： 棱镜；亨欣；SimSG公司 主要字段： 计算机科学（68-XX）