VeriML公司 8份文件引用(2010–2016) 软件作者： 安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟 相关软件： Coq；甲基丙烯酸甲酯；seL4… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
Rtac公司 3份文件引用(2015–2021) 软件作者： Malecha，G.，Bengtson，J。 相关软件： Coq；Mtac公司；CompCertTSO… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；系统论；对照（93-XX）