向上2k 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）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
弗拉塔 26篇文献引用(2009–2023) 软件作者： 马吕斯·博兹加；半径Iosif；菲利普·科内克尼；托马斯·沃伊纳尔 相关软件： Eldarica公司；公主；z3… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NNV公司 23篇文献引用(2021–2024) 软件作者： Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 相关软件： Reluplex；马拉博；AI2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
拉马斯 12份文件引用(2006–2013) 软件作者： 马吕斯·克劳泽（Marius Kloetzer）；卡林·贝尔塔 相关软件： RoVerGeNe；高科技；PHAVer… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
S每个工具 10篇文献引用(2019–2023) 软件作者： 亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Meeko M.K.Oishi。 相关软件： ProbReach；FAUST2；AMYTISS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ReachNN公司 7份文件引用(2021–2022) 软件作者： 黄超、范嘉萌、李文超、陈欣、朱琦 相关软件： Reluplex；流量*；SpaceEx… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ROC-HJ公司 6篇文献引用(2015–2023) 软件作者： Bokanowski，O.，Desilles，A.，Zidani，H。 相关软件： 工具箱LS；Matlab；GitHub… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
ASASP公司 4份文件引用(2012–2020) 软件作者： 弗朗西斯科·阿尔贝蒂；阿曼多，亚历山德罗；西尔维奥·兰伊斯 相关软件： Mcmt；验证；助推器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
焊接工艺数据系统++ 5份文件引用(2005–2023) 软件作者： Balakrishnan，G。；代表，T。；北基德。；Lal，A。；Lim，J。；梅尔斯基，D。；Gruian，R。；Yong，S。；Chen，C.-H。；Teitelbaum，T。 相关软件： 雅克斯塔布；LTL2BA；CBMC… 主要字段： 计算机科学（68-XX）
助手OC 3份文件引用(2020–2022) 软件作者： 索米尔·班萨尔、莫·陈、西尔维娅·赫伯特、克莱尔·汤姆林 相关软件： 工具箱LS；PILCO公司；Python… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
备忘录 3份文件引用(2014–2020) 软件作者： 阿卜杜拉，帕罗什·阿齐兹；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；Carl Leonardsson；艾哈迈德·雷兹 相关软件： 小卧室；Mcmt；检查围栏… 主要字段： 计算机科学（68-XX）
REACH标准 4份文件引用(2013–2018) 软件作者： 徐明；朱家琦；李志斌 相关软件： iscas-Mc；z3；重新记录… 主要字段： 场论与多项式（12-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
蚂蚁机器人 2份文件引用(2012–2014) 软件作者： G.Yan、D.T.Ha、S.Eidenbenz 相关软件： – 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；计算机科学（68-XX）
AROC公司 3份文件引用(2021–2023) 软件作者： Kochdumper，N。；Gruber，F。；Schürmann，B。；加曼，V。；Klischat，M。；阿尔托夫，M。 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
BaRC公司 2份文件引用(2020–2021) 软件作者： 鲍里斯·伊万诺维奇（Boris Ivanovic）、詹姆斯·哈里森（James Harrison）、阿波瓦·夏尔马（Apoorva Sharma）、莫·陈（Mo Chen）、马可·帕沃内（Marco Pavone） 相关软件： Python机器人；OpenAI健身房；TAMER… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
澳大利亚皇家银行股份有限公司 2份文件引用(2013–2019) 软件作者： 米哈伊尔·戈夫曼一世。；罗瑞奇；所罗门，艾拉·C·。；张应斌；杨平；斯科特·斯托勒。 相关软件： ASASP；Mcmt；第三方交易协议 主要字段： 计算机科学（68-XX）
Kuai公司 2份文件引用(2019–2021) 软件作者： Majumdar，R.、Tetali，S.D.、Wang，Z。 相关软件： 食蚁兽；VeriCon公司；NetKAT… 主要字段： 计算机科学（68-XX）
防抱死制动系统 1份文件引用(2022) 软件作者： 亚历山大·韦伯（Alexander Weber）；马科维奇克（Macoveiciuc）、伊利赛（Elisei）；冈瑟·雷西格 相关软件： AROC；GRKLib；p面… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
DaDRA公司 在0个文档中引用 软件作者： Jared Mejia、Alex Devonport、Murat Arcak 相关软件： 阿里阿德涅；Isabelle/HOL；NLTOOLBOX… 主要字段： –
NNVODE公司 1份文件引用(2022) 软件作者： Manzanas Lopez，迭戈；Patrick Musau；纳撒尼尔·P·汉密尔顿。；泰勒·T·约翰逊。 相关软件： 阳极；火炬差异；Diffrax… 主要字段： 计算机科学（68-XX）
优化的DP 在0个文档中引用 软件作者： Minh Bui、George Giovanis、Mo Chen、Arrvindh Shriraman 相关软件： 异丙基氯；POMDPs.jl；TVM… 主要字段： –
ProGraML软件 在0个文档中引用 软件作者： Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件： 亚当；XLA；TensorFlow… 主要字段： –
从模拟到实验再到真实 1份文件引用（2023年） 软件作者： 徐凯智；Ren，Allen Z。；Nguyen，Duy P。；阿尼鲁达·马朱姆达尔；杰米·费萨克（Jaime F.Fisac）。 相关软件： – 主要字段： 计算机科学（68-XX）
Veritex公司 1份文件引用(2022) 软件作者： 杨晓东；汤姆·山口；Tran，黄登；巴德省霍克萨；泰勒·T·约翰逊。；丹尼尔·普罗霍罗夫 相关软件： 马拉博；NNV；重新连接… 主要字段： 计算机科学（68-XX）