VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
证书密码 5份文件引用(2009–2017) 软件作者： 吉尔·巴特；本杰明·格雷戈里；圣地亚哥Zanella Béguelin 相关软件： Coq；Coq/SS反射；EasyCrypt… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
阿斯特拉维尔 2份文件引用(2021–2022) 软件作者： 格里戈里·沃尔科夫、米哈伊尔·曼德利金、丹尼斯·埃弗雷莫夫 相关软件： Coq；Why3；Dafny… 主要字段： 计算机科学（68-XX）
CoqPIE公司 1份文件引用(2016) 软件作者： 肯尼思·罗伊（Kenneth Roe）；斯科特·史密斯 相关软件： GitHub；PeaCoq；Coqoon… 主要字段： 计算机科学（68-XX）
DetKit公司 1份文件引用(2023) 软件作者： Siavash阿梅利；肖恩·沙登（Shawn C.Shadden）。 相关软件： IMATE；GLearn；GMRFLib… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）
基于游戏的加密 1份文件引用(2020) 软件作者： 安德烈亚斯·洛赫比勒（Andreas Lochbihler）、S.Reza Sefidgar、Bhargav Bhatt 相关软件： Nuprl；动物园概率系统；MFMC_可计数… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）