简化 137篇文献引用(2001–2023) 软件作者： Detlefs，D。；Nelson，G。；J·B·萨克斯 相关软件： z3；ESC/Java；规范#… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
Frama-C公司 46篇文献引用(2009–2023) 软件作者： 帕特里克·鲍丁；理查德·博尼肯（Richard Bonichon）；洛伊克·科伦森；帕斯卡尔·库克；扎伊娜·达盖伊（Zaynah Dargaye）；Jean-Christophe Filliátre；菲利普·赫尔曼；克劳德·马奇；本杰明·莫纳特；扬尼克·莫伊；安妮·帕卡莱特；维吉尔·普雷沃斯托；朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件： Coq；Why3；z3… 主要字段： 一般性和全局性主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…