JML公司 161份文件引用(2000–2023) 软件作者： 加里·利文斯（Gary T.Leavens）；Yoonsik Cheon公司 相关软件： 规范#；埃菲尔；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；埃菲尔；规范#… 主要字段： 计算机科学（68-XX）
社会可视化者 8份文件引用(2007–2013) 软件作者： 亚历山大·阿提基斯；马雷克·塞尔戈特（Marek Sergot）；杰里米·皮特 相关软件： 岛国；CCalc；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OCRA公司 9份文件引用(2015–2022) 软件作者： Cimatti，A。；Dorigatti，M。；托内塔，S。 相关软件： nuXmv；NuSMV；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
JCML公司 2份文件引用(2009–2012) 软件作者： Da Costa，翁贝托·苏扎；莫雷拉（Moreira）、阿纳玛丽亚·马丁斯（Anamaria Martins）；Martin A.Musicante。；索扎·内托（Souza Neto），Pl’acido A。 相关软件： 回路；Z；JML… 主要字段： 计算机科学（68-XX）
蓄意破坏 2份文件引用(2021) 软件作者： Lexi Brent、Anton Jurisevic、Michael Kong、Eric Liu、Francois Gauthier、Vincent Gramoli、Ralph Holz、Bernhard Scholz 相关软件： github；SmartCheck；eThor公司 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）