克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
UPPAAL TIGA公司 47篇文献引用(2007–2023) 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 相关软件： Uppaal；棱镜；Synthia… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
如果2.0 38篇文献引用（2002年至2022年） 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
TREX公司 39篇文献引用(2001–2021) 软件作者： Aurore Annichini；艾哈迈德·博阿贾尼；米哈埃拉·西希雷亚努 相关软件： 快速；高科技；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
模仿者 34份文件引用(1996–2023) 软件作者： 埃蒂安·安德烈 相关软件： Uppaal；高科技；PPL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
VerICS版本 34份文件引用(2005–2023) 软件作者： 兹布热兹尼（Zbrzezny，Andrzej）；沃兹纳，博泽纳 相关软件： MCMAS；MCK；MOCHA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
罗密欧 引用于27份文件(2005–2020) 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马根（Morgan Magnin）；Olivier Roux（H.） 相关软件： TINA；Uppaal；克罗诺斯… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
兔子 23篇文献引用(2001–2022) 软件作者： 德克·拜尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
TAPAAL公司 24篇文献引用(2011–2022) 软件作者： 约阿金·比格；约根森、肯尼思·伊尔克；吉·斯尔巴 相关软件： Uppaal；TINA；罗密欧… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
TorX公司 16篇文献引用（2005年至2021年） 软件作者： 亨利克·博恩坎普（Henrik Bohnenkamp）；埃克塞尔·贝林芬特 相关软件： JTorX；SpecExplorer；STG… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
上CORA 9份文件引用(2005–2022) 软件作者： Gerd Behrmann；金·古德斯特兰·拉森 相关软件： Uppaal；克罗诺斯；验证… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
LARVA公司 8份文件引用(2012–2022) 软件作者： Colombo C、Pace GJ、Schneider G公司 相关软件： 员工宿舍；LOLA；Java-MOP… 主要字段： 计算机科学（68-XX）
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
蛋白石 6篇文献引用(2012–2021) 软件作者： Dalsgaard，A.E.、Hansen，R.R.、Jörgensen，K.Y.、Larsen，K.G.、Olesen，M.C.、Olsen，P.、Srba，J。 相关软件： Uppaal；算法97；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
卡萨尔 5份文件引用(2012–2022) 软件作者： 彼得·布利切夫（Peter Bulychev）；亚历山大·戴维；古德斯特兰·拉森（Kim Guldstrand Larsen）；Legay，Axel；李广元；丹尼·鲍尔森（Danny Bougsted Poulsen）；阿梅莉·施泰纳 相关软件： Uppaal；UPPAAL TIGA；APMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
COSMOS公司 6篇文献引用(2013–2021) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： 棱镜；Ymer；VESTA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GEZEL公司 6篇文献引用（2002年至2018年） 软件作者： 迈克尔·汉森（Michael R.Hansen）。；Madsen，Jan；布雷克林（Aske Wiid Brekling） 相关软件： Uppaal；克罗诺斯；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
Verics公司 6篇文献引用(2003–2018) 软件作者： 彼得亚·德米因斯基；阿加塔·雅诺夫斯卡；Pawe Janowskił；沃伊切赫·彭泽克（Wojciech Penczek）；阿加塔·波罗拉；马西耶·斯兹特尔（Maciej Szreter）；沃兹纳，博泽纳；安德烈·兹布雷泽兹尼 相关软件： MCMAS；MCK；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Shrinktech公司 4份文件引用(2013–2022) 软件作者： 奥坎·桑库尔 相关软件： Uppaal；模仿者；PSyHCoS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TeSSLa公司 4份文件引用(2018–2022) 软件作者： 卢卡斯修道院；塞巴斯蒂安·亨格瑞克；Martin Leucker；托本·谢菲尔；施密茨，马尔特；丹尼尔·托马 相关软件： LOLA；蒙保利；副驾驶… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ERA-PAT公司 2份文件引用(2014–2021) 软件作者： 林尚伟；刘，杨；孙军；董金松；埃蒂安·安德烈 相关软件： 拍打；项目B；PDDL… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
ETMetera公司 3份文件引用(2022–2023) 软件作者： Delimpaltadakis，Giannis；加布里埃尔·德·阿尔布开克·格莱泽（Gabriel de Albuquerque Gleizer）；伊沃·范·斯特拉伦；Manuel jun，马祖。 相关软件： dReal；z3；CUDD… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
MONAA公司 3份文件引用(2016–2024) 软件作者： Masaki Waga公司 相关软件： 时间模式匹配；Simulink；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
麦道 1份文件引用（2013年） 软件作者： 乔纳森·博格多尔、亚历山大·戴维、阿恩德·哈特曼斯、霍尔格·赫尔曼斯 相关软件： Uppaal；PHAVer；SpaceEx… 主要字段： 计算机科学（68-XX）
凶悍的人 2份文件引用(2021–2022) 软件作者： 马丁·科尔贝尔；Leue，Stefan；托马斯·怀斯 相关软件： Uppaal；SemFix；S-TaLiRo… 主要字段： 计算机科学（68-XX）