可控硅 在10份文件中引用(2000–2018) 软件作者： 伊门布尔吉巴；贝莱德·莫阿 相关软件： 自旋蛋白；NuSMV；PVS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
蒙保利 14篇文献引用（2015年至2024年） 软件作者： D.Basin、M.Harvan、F.Klaedtke、E.Zalinescu 相关软件： LOLA；德贾武；天线… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TeMP公司 15篇文献引用(2004–2021) 软件作者： 乌尔里希·赫斯塔特；鲍里斯·科涅夫（Boris Konev）；亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： VAMPIRE公司；TSPASS；TRP++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
德贾武 8份文件引用(2018–2022) 软件作者： Havelund，K。；贝利德，D。；D.乌卢斯。 相关软件： LOLA；蒙保利；Java-MOP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CTL-RP公司 5份文件引用(2010–2021) 软件作者： 张澜；乌尔里希·赫斯塔特；克莱尔·狄克逊 相关软件： SPASS；TRP++；TeMP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
HEDES公司 1份文件引用(2000) 软件作者： 罗德·盖兹，M.J。；帕雷茨，J。；Paderewski，P。；阿纳亚，A。；M.V.赫塔多。 相关软件： 视觉作品 主要字段： 计算机科学（68-XX）
QuIt公司 1份文件引用(2018) 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；罗比拉德，西蒙 相关软件： VAMPIRE公司；InvGen；CVC4… 主要字段： 计算机科学（68-XX）