CBMC公司 88篇文献引用(2004–2023) 软件作者： Clarke E、Kroening D、Lerda F 相关软件： 爆炸；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CSSV公司 引用于16份文件(2004–2013) 软件作者： 多尔，N.，罗德，M.，萨吉夫，M 相关软件： ASTREE；TVLA；CBMC… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
地址消毒剂 引用于3份文件(2016–2020) 软件作者： Serebryany，K.、Bruening，D.、Potapenko，A.、Vyukov，D。 相关软件： Frama-C；锈蚀；规范#… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
深悟空 2份文件引用(2021–2023) 软件作者： Cheng，X。；Wang，H。；Hua，J。；徐，G。；隋，Y。 相关软件： ovAFLow；夹板；布加鲁… 主要字段： 计算机科学（68-XX）
软绑定（SoftBound） 1份文件引用(2020) 软件作者： Nagarakatte，S.、Zhao，J.、Martin，M.M.、Zdancewic，S 相关软件： Jinja线程；存档正式证据 主要字段： 计算机科学（68-XX）