克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Reluplex公司 71篇文献引用(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈弗伦德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Leucker，Martin；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
p面 7份文件引用(2019–2022) 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统理论；控制（93-XX）
VeriPhy公司 6篇文献引用(2018–2022) 软件作者： Brandon Bohrer、Yong Kiam Tan、Stefan Mitsch、Magnus O.Myreen、AndréPlatzer 相关软件： 凯伊迈拉；Coq；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
深度计 3份文件引用(2020–2021) 软件作者： 马磊（Lei Ma）、费利克斯（Felix Juefei-Xu）、张福源（Fuyuan Zhang）、孙继源（Jiyuan Sun）、薛敏慧（Minhui Xue）、李波（Bo Li）、陈春阳（Chunyang Chen）、苏婷（Ting Su）、李丽（Li Li 相关软件： DeepXlore；TensorFuzz；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
国际卫星通信协会 4份文件引用(2015–2017) 软件作者： K.Scheibler、S.Kupferschmid、B.Becker 相关软件： SMT-RAT；数学SAT5；CVC4… 主要字段： 计算机科学（68-XX）
OmegaThreads公司 3份文件引用（2021年至2022年） 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： p面；SCOTS；条纹… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统理论；控制（93-XX）
SC图表 引用于2份文件(2015–2018) 软件作者： R.von Hanxleden等人。 相关软件： 酯类；卢斯特；VerCors… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
PRODeep公司 引用于2份文件（2021年） 软件作者： 李锐，李杰，黄CC，杨P，黄X，张L，薛B，Hermanns H 相关软件： Reluplex；马拉博；阿波罗… 主要字段： 计算机科学（68-XX）
DaDRA公司 在0个文档中引用 软件作者： Jared Mejia、Alex Devonport、Murat Arcak 相关软件： 阿里阿德涅；Isabelle/HOL；NLTOOLBOX… 主要字段： –
鸽子 1份文件引用(2003) 软件作者： Ozols，硕士，Eastaughffe，K.A.，Cant，A.，Collignon，S 相关软件： KIV；自动化；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
马拉松2 1份文件引用（2023年） 软件作者： S.Macenski、F.Martín、R.White、J.G.Clavero 相关软件： Frama-C；达夫尼；ROS… 主要字段： 计算机科学（68-XX）
Veritex公司 1份文件引用(2022) 软件作者： 杨晓东；汤姆·山口；Tran，Hoang-Dung；巴德省霍克萨；泰勒·T·约翰逊。；丹尼尔·普罗霍罗夫 相关软件： 马拉博；NNV；重新连接… 主要字段： 计算机科学（68-XX）