铁人舰队 引用于16份文件(2017–2023) 软件作者： Hawblitzel，C。；豪厄尔，J。；卡普里特索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；塞蒂，S.T.V。；齐尔，B 相关软件： z3；达夫尼；常春藤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TLAPS（TLAPS） 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
HiperTM（嬉皮士TM） 引用于3份文件(2017–2023) 软件作者： 雇佣，Sachin；罗伯托·帕尔米耶里（Roberto Palmieri）；比诺伊·拉文德兰 相关软件： 埃尔朗；DudeTM；DiSTM… 主要字段： 计算机科学（68-XX）
DiskPaxos公司 引用于3份文件(2006–2023) 软件作者： 毛罗·贾斯克利奥夫（Mauro Jaskelioff）；斯蒂芬·默兹 相关软件： 存档正式证据；Isabelle/HOL；TLAPS… 主要字段： 计算机科学（68-XX）