小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast公司；jStar；HIP… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
科根（Cogent） 11份文件引用(2005–2018) 软件作者： 库克，拜伦；Daniel Kroening；莎里吉娜，娜塔莎 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
ESBMC公司 4份文件引用(2014–2020) 软件作者： 南安普顿大学、斯泰伦博什大学、亚马逊河联邦大学；卢卡斯·科尔代罗（Lucas Cordeiro）；杰里米·莫尔斯（Jeremy Morse）；丹尼斯·尼科尔；伯恩德·菲舍尔 相关软件： CBMC；LLBMC；爆炸… 主要字段： 计算机科学（68-XX）
软绑定（SoftBound） 1份文件引用(2020) 软件作者： Nagarakatte，S.、Zhao，J.、Martin，M.M.、Zdancewic，S 相关软件： Jinja线程；存档正式证据 主要字段： 计算机科学（68-XX）