CompCert公司 59篇文献引用(2009–2023) 软件作者： X·勒罗伊。 相关软件： Coq；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
VeriFun公司 12份文件引用(2005–2019) 软件作者： 克里斯托夫·沃尔特；斯蒂芬·施韦策 相关软件： ACL2；哈斯克尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…