CBMC公司 88篇文献引用(2004–2023) 软件作者： Clarke E、Kroening D、Lerda F 相关软件： 爆炸；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
DD验证 9份文件引用(2009–2019) 软件作者： Witkowski，T.、Blanc，N.、Kroening，D.、Weissenbacher，G 相关软件： SLAM；CBMC；卫星… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
F外壳 6篇文献引用(2010–2016) 软件作者： 安德烈亚斯·霍尔泽（Andreas Holzer）；克里斯蒂安·夏尔哈特；迈克尔·陶奇尼格（Michael Tautschnig）；赫尔穆特·维思 相关软件： Java PathFinder；CPA检查员；RapiTime… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
EzPC公司 2份文件引用(2020–2022) 软件作者： Chandran，N.、Gupta，D.、Rastogi，A.、Sharma，R.、Tripathi，S 相关软件： ABY；n图形HE；瞪羚… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）