玛丽 8份文件引用(2013–2022) 软件作者： 莫妮卡·海纳；罗尔，基督徒；马丁·施瓦里克 相关软件： 窥探；棱镜；SABRE… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
S每个工具 10篇文献引用(2019–2023) 软件作者： 亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Meeko M.K.Oishi。 相关软件： ProbReach；FAUST2；AMYTISS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ProbReach公司 9份文件引用(2015–2023) 软件作者： 费多·什马罗夫（Fedor Shmarov）；保罗·祖利亚尼 相关软件： SReachTools；AMYTISS公司；静止… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
淀粉样变性 8份文件引用(2020–2023) 软件作者： 拉瓦伊（Lavaei），阿波法兹尔（Abolfazl）；哈立德，马哈茂德；萨代赫·苏贾尼；马吉德·扎马尼 相关软件： FAUST2；SReachTools；ProbReach… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
SReach公司 5份文件引用(2015–2022) 软件作者： Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke 相关软件： ProbReach；p面；SReachTools… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
探查-黑线 4份文件引用(2019–2021) 软件作者： Aichernig，Bernhard K。；马丁·塔普勒 相关软件： 棱镜；风暴；AALpy… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GoTube公司 2份文件引用(2022) 软件作者： 索菲·格伦巴赫（Sophie Gruenbacher）、马蒂亚斯·莱切纳（Mathias Lechner）、拉明·哈萨尼（Ramin Hasani）、丹妮拉·罗斯（Daniela Rus）、托马斯·汉津格（Thomas A.Henzinger）、斯科特·斯莫尔卡（Scott Smol 相关软件： 火炬差异；Reluplex；流量*… 主要字段： 计算机科学（68-XX）