有限责任公司 13份文件引用(2012–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；弗洛里安·默兹（Florian Merz）；卡斯滕·辛兹 相关软件： 不明飞行物；CPA检查员；CBMC… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
薄片 10篇文献引用(2016–2022) 软件作者： Carter，M.、He，S.、Whitaker，J.、Rakamarić，Z.、Emmi，M。 相关软件： CBMC；z3；SeaHorn… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
LusSy公司 3份文件引用(2007–2013) 软件作者： Moy，M.、Maraninchi，F.、Maillet-Contoz，L。 相关软件： 系统C；卡拉托斯；veriSoft… 主要字段： 计算机科学（68-XX）