JUnit公司 16篇文献引用（2002年至2022年） 软件作者： Yoonsik Cheon；Gary T.Leavens。 相关软件： JML；艾菲尔铁塔；ESC/Java… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
爪哇-MaC 在11份文件中引用(2003–2021) 软件作者： Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky 相关软件： JPAX；Java-MOP；LOLA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
UniForM公司 7份文件引用(1999–2011) 软件作者： Bernd Krieg-Brückner、Jan Peleska、Ernst-Rüdiger Olderog、Alexander Baer 相关软件： Uppaal；FranTk；GHC… 主要字段： 计算机科学（68-XX）
验证 6篇文献引用(2021–2024) 软件作者： 托马索·德罗西（Tommaso Dreossi）、丹尼尔·弗雷蒙特（Daniel J.Fremont）、施洛蒙娜·戈什（Shromona Ghosh）、爱德华·金（Edward Kim）、哈迪·拉文巴赫（Hadi Ravanbakhsh）、马塞尔·巴斯奎兹·香拉特（Marcell Vazque 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
路特斯 5份文件引用(1999–2012) 软件作者： 杜布斯克，L。；Quabdeselam，F。；帕里西斯，I。；Richier，J.-L。；北卡罗来纳州佐安诺。 相关软件： ATGen公司；卢斯特；网关… 主要字段： 计算机科学（68-XX）
重建器 1份文件引用(2020) 软件作者： 阿里尔·乔纳森·罗菲 相关软件： PLM；伊莎贝尔/HOL 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）