ProVerify公司 49篇文献引用(2005–2023) 软件作者： inria.fr；布鲁诺·布兰切特 相关软件： AVISPA；罗望子；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；罗望子；AVISPA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
GALATICS公司 在13份文件中引用(2020–2024) 软件作者： G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi 相关软件： BLISS；事实真相；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
表面处理4 11份文件引用(2017–2023) 软件作者： 张，X。；郭，H。；张，X。；王，C。；刘，J。 相关软件： 打火机-R；凯卡克；deep_speck… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
深啄 9份文件引用(2019–2023) 软件作者： 阿隆·戈尔 相关软件： 西蒙；SPECK；SIMECK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
散射体 3份文件引用(2018–2021) 软件作者： 蒂贝奥德（Thiebauld，Hugues）；乔治·加格内罗（Georges Gagnerot）；安托万·沃尔克；克利斯朵夫·克莱维尔 相关软件： 基马提奥；ScatNet公司 主要字段： 欧氏空间（42-XX）的调和分析；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
验证器 3份文件引用(2016–2019) 软件作者： 高弘久保田；Kakutani、Yoshihiko；加藤，加油；川野康仁；樱田秀树 相关软件： QPL；质量管理清单；QPMC… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
3BA公司 2份文件引用(2018) 软件作者： Horáckek，Jan；马丁·克鲁泽 相关软件： LELA；GBLA；安东尼… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
推特NaCl 2份文件引用(2015–2018) 软件作者： 丹尼尔·伯恩斯坦（Daniel J.Bernstein）。；范加斯特尔（Bernard van Gastel）；卫斯理·詹森；坦贾·兰格；施瓦布（Peter Schwabe）；斯梅特泽斯，沙克 相关软件： 基岩；VST-Floyd；冲锋… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DryGASCON公司 1份文件引用(2022) 软件作者： 梁慧聪；Mesnager，Sihem；王美琴 相关软件： github 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）