甲酚 25篇文献引用(2006–2022) 软件作者： 约翰森（Einar Broch Johnsen）；奥威，奥拉夫；Yu，Ingrid Chieh女士 相关软件： 羽量级Java；ABCL；莫德… 主要字段： 计算机科学（68-XX）
CCured公司 18篇文献引用(2002–2018) 软件作者： Necula，G.C.，McPeak，S.，Weimer，W。 相关软件： SLAM；投掷；Java PathFinder… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AURA公司 10篇文献引用(2008–2016) 软件作者： 贾利民；杰弗里·沃恩（Jeffrey A.Vaughan）。；Karl Mazurak；赵建洲；卢克·扎尔科；约瑟夫·肖尔（Joseph Schorr）；史蒂夫·兹丹塞维奇 相关软件： Coq；F*；阿格达… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
HOL-Omega餐厅 9份文件引用(2009–2019) 软件作者： 彼得·霍米埃（Peter V.Homeier）。 相关软件： HOL；伊莎贝尔；Coq… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
VeriML公司 8份文件引用(2010–2016) 软件作者： 安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟 相关软件： Coq；甲基丙烯酸甲酯；seL4… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
LNgen（液化天然气） 7份文件引用(2011–2021) 软件作者： 艾德米尔，B.E.，魏里奇，S。 相关软件： 流行标志；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
棒棒糖 5份文件引用(2010–2016) 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured；Coq；有限责任公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
部落 4份文件引用(2010–2016) 软件作者： Clarke，D.、Drossopoulou，S.、Noble，J.、Wrigstad，T。 相关软件： Waldmeister；梅斯4；校准仪9… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
威斯特利亚 4份文件引用(2016–2023) 软件作者： 拉斯托吉，A.，哈默，M.A.，希克斯，M。 相关软件： HyCC；分享者；ObliVM… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
塞林克 3份文件引用(2014–2022) 软件作者： 丹尼尔·斯科佩（Daniel Schoepe）；丹尼尔·赫丁（Daniel Hedin）；安德烈·萨贝尔菲尔德 相关软件： JSLINQ公司；用户/网络；GitHub… 主要字段： 计算机科学（68-XX）
挪威船级社 2份文件引用(2012–2021) 软件作者： 罗伯特·布里德（Robert Brijder）；Joris J.M.Gillis。；Van den Bussche，简 相关软件： – 主要字段： 计算机科学（68-XX）
蒙哥 2份文件引用(2018–2020) 软件作者： 库扎帕斯、迪米特里奥斯；奥尔内拉·达达；罗利·佩雷拉；西蒙·盖伊。 相关软件： 会话ocaml；睫毛；z3（零3） 主要字段： 计算机科学（68-XX）
原奎珀-M 2份文件引用(2018–2022) 软件作者： 里奥斯，弗朗西斯科；彼得·塞林格 相关软件： 奎珀；哈斯克尔 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
皮罗埃特 1份文件引用(2023) 软件作者： 安德鲁·赫施（Andrew K.Hirsch），迪帕克·加格（Deepak Garg） 相关软件： 卡拉斯；类动物；Coq公司 主要字段： 计算机科学（68-XX）
Worker/Wrapper转换 1份文件引用(2012) 软件作者： 彼得·甘米 相关软件： Isabelle/HOL；正则集；存档正式证据… 主要字段： 有序，格，有序代数结构（06-XX）；计算机科学（68-XX）