小脚 55份文件引用（2004年-2023年） 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar；HIP… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： Coq；CompCert；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VerCors公司 12份文件引用(2014–2023) 软件作者： 阿米吉，阿夫申；斯特凡·布洛姆；Saeed Darabi；赫斯曼（Marieke Huisman）；沃伊切赫·莫斯托夫斯基；扎哈里耶娃·斯托亚诺夫斯基，玛丽娜 相关软件： 毒蛇；布吉；Dafny… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
棒棒糖 5份文件引用(2010–2016) 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
壁龛 4份文件引用(2018–2021) 软件作者： 卡洛斯·奥拉特（Carlos Olarte）；伊莱恩·皮门特尔（Elaine Pimentel）；卡米洛·鲁埃达 相关软件： 奎珀；混合的；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KeY-ABS公司 4份文件引用(2015–2021) 软件作者： Din，Crystal Chang；理查德·布贝尔（Richard Bubel）；雷纳·哈内尔 相关软件： 防抱死制动系统；斯卡拉；算法864… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
跳跃 3份文件引用(2017–2021) 软件作者： 托马斯·丁斯代尔·扬（Thomas Dinsdale-Young）；佩德罗·达罗查·平托；安徒生，克里斯托弗公正；拉尔斯·比克达尔 相关软件： 蝰蛇；VeriFast公司；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PCM库 2份文件引用(2020) 软件作者： Nanevski，A.、Ley-Wild，R.、Sergey，I.、Delbianco，G.、Trunov，A 相关软件： github；精益；Coq… 主要字段： 计算机科学（68-XX）
Complx公司 1份文件引用(2023) 软件作者： Amani，S.、Andronick，J.、Bortin，M.、Lewis，C.、Christine，R.、Tuong，J。 相关软件： seL4；Isabelle/HOL；伊莎贝尔 主要字段： 计算机科学（68-XX）