Caduceus公司 54篇文献引用(2005–2022) 软件作者： Jean-Christophe Filliátre，Claude Marché 相关软件： 卡拉卡拉；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Frama-C公司 43篇文献引用(2009–2023) 软件作者： 帕特里克·鲍丁；理查德·博尼肯（Richard Bonichon）；洛伊克·科伦森；帕斯卡尔·库克；扎伊娜·达盖伊（Zaynah Dargaye）；Jean-Christophe Filliátre；菲利普·赫尔曼；克劳德·马奇；本杰明·莫纳特；扬尼克·莫伊；安妮·帕卡莱特；维吉尔·普雷沃斯托；朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件： 辅酶q；Why3；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
阿斯特拉维尔 2份文件引用(2021–2022) 软件作者： 格里戈里·沃尔科夫、米哈伊尔·曼德利金、丹尼斯·埃弗雷莫夫 相关软件： 辅酶q；Why3；Dafny… 主要字段： 计算机科学（68-XX）
斯塔迪 1份文件引用(2018) 软件作者： 纪尧姆·佩蒂奥（Guillaume Petiot）、尼古拉·科马托夫（Nikolai Kosmatov）、阿兰·乔治蒂（Alain Giorgetti）、雅克·朱利安德（Jacques Julliand） 相关软件： GitHub；PathCrawler；Frama-C… 主要字段： 计算机科学（68-XX）