CCured公司 18篇文献引用(2002–2018) 软件作者： Necula，G.C.，McPeak，S.，Weimer，W。 相关软件： SLAM；投掷；Java PathFinder… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
液化天然气 7份文件引用(2011–2021) 软件作者： 艾德米尔，B.E.，魏里奇，S。 相关软件： 流行标志；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AgsyHOL公司 4份文件引用(2013–2015) 软件作者： F.林布拉德。 相关软件： TPTP；Nitpick公司；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
杰霍恩 3份文件引用(2020–2021) 软件作者： Temesghen Kahsai；Rody Kersten；菲利普·吕默；华斯卡·桑切斯；马丁·施瓦夫 相关软件： SeaHorn；z3；FunArray… 主要字段： 计算机科学（68-XX）
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured公司；Coq；有限责任公司 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）