小脚 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）
跳跃 引用于3份文件(2017–2021) 软件作者： 丁斯代尔·杨，托马斯；佩德罗·达罗查·平托；安徒生，克里斯托弗公正；拉尔斯·比克达尔 相关软件： 蝰蛇；VeriFast；草蜢… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
PCM库 2份文件引用(2020) 软件作者： Nanevski，A.、Ley-Wild，R.、Sergey，I.、Delbianco，G.、Trunov，A 相关软件： github；精益；Coq… 主要字段： 计算机科学（68-XX）