简化 136篇文献引用(2001–2023) 软件作者： Detlefs，D。；Nelson，G。；J·B·萨克斯 相关软件： z3；ESC/Java；规范#… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
电子稳定控制系统/Java 120篇文献引用(2001–2022) 软件作者： 格雷格·纳尔逊 相关软件： 规范#；简化；JML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
Frama-C公司 43篇文献引用(2009–2023) 软件作者： 帕特里克·鲍丁；Richard Bonichon；洛伊克·科伦森；帕斯卡尔·库克；扎伊娜·达盖伊（Zaynah Dargaye）；Jean-Christophe Filliátre；菲利普·赫尔曼；克劳德·马奇；本杰明·莫纳特；扬尼克·莫伊；安妮·帕卡莱特；维吉尔·普雷沃斯托；朱利安·西莫尔斯和鲍里斯·亚科博夫斯基 相关软件： Coq；Why3；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
胡迪尼 26篇文献引用(2001–2022) 软件作者： 弗拉纳根C，莱诺KRM 相关软件： Daikon；电子稳定控制系统/Java；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）