NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马尔科·罗弗里；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Rover 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
迪维尔 9份文件引用(2005–2010) 软件作者： Malay K.Ganai。；阿蒂·古普塔；普拉纳夫·阿沙尔 相关软件： 糠；卫星抗体；CBMC… 主要字段： 测量和集成（28-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·庞博；马塞洛·F·弗里亚斯 相关软件： TestEra；Java PathFinder；GitHub… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
佩里普洛 8份文件引用(2013–2022) 软件作者： 罗里尼（Simone Fulvio）；Alt，Leonardo；格里戈里·费迪尤科维奇；Hyvärinen，Antti E.J.公司。；娜塔莎·莎莉吉娜 相关软件： eVolCheck；FunFrog公司；OpenSMT2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SATMC公司 6篇文献引用(2005–2018) 软件作者： 亚历山德罗·阿尔曼多，卢卡·孔波尼亚 相关软件： AVISPA；OFMC；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）