VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
jStar公司 32篇文献引用(2008–2022) 软件作者： DiStefano，D.，Parkinson，M。 相关软件： 小脚；VeriFast；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
毒蛇 25篇文献引用(2016–2023) 软件作者： 彼得·穆勒（Peter Müller）、马尔特·施沃尔霍夫（Malte Schwerhoff）、亚历山大·萨默斯（Alexander J.Summers） 相关软件： VeriFast；达夫尼；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
函数数组 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
VST弗洛伊德 9份文件引用(2018–2023) 软件作者： 曹勤祥；Lennart Beringer；塞缪尔·格鲁特（Samuel Gruetter）；约西亚·多兹；安德鲁·W·阿佩尔。 相关软件： Coq；工具链；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
跳跃 4份文件引用（2017年至2022年） 软件作者： 托马斯·丁斯代尔·扬（Thomas Dinsdale-Young）；佩德罗·达罗查·平托；Andersen，Kristoffer Just；拉尔斯·比克达尔 相关软件： VeriFast；seL4；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）