VerCors公司 12份文件引用(2014–2023) 软件作者： 阿米吉，阿夫申；斯特凡·布洛姆；赛义德·达拉比；马里克，Huisman；沃伊切赫·莫斯托夫斯基；玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 相关软件： 蝰蛇；布吉；Dafny… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
VST-弗洛伊德 9份文件引用(2018–2023) 软件作者： 曹勤祥；Lennart Beringer；塞缪尔·格鲁特（Samuel Gruetter）；约西亚·多兹；安德鲁·W·阿佩尔。 相关软件： Coq；工具链；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
皮尔斯纳 7份文件引用(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung-Kil；Kaiser，Jan-Oliver；Craig McLaughlin；德里克·德雷尔（Derek Dreyer）；维克托·瓦菲亚迪斯 相关软件： Coq；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
推特NaCl 2份文件引用(2015–2018) 软件作者： 丹尼尔·伯恩斯坦（Daniel J.Bernstein）。；范加斯特尔（Bernard van Gastel）；卫斯理·詹森；坦贾·兰格；施瓦布（Peter Schwabe）；斯梅特泽斯，沙克 相关软件： 基岩；VST-Floyd；冲锋… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）