山茶花 97篇文献引用(2001–2023) 软件作者： 青木，Kazumaro；铁杉一川；神田、Masayuki；松井、三井；森井、希荷；中岛俊子；Tokita、Toshio 相关软件： 克利夫亚；出席；方形… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；陈娟；Fornet，塞德里克；支柱，Pierre-Yves；卡尔蒂基扬·巴尔干；杨吉恩 相关软件： Coq；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
TLAPS（TLAPS） 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
图拉法勒 12份文件引用（2004年至2012年） 软件作者： 卡尔蒂基扬·巴尔干；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉 相关软件： Spi2Java；ProVerify；AVISPA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
穆瓦尔 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
杰克 4份文件引用(2004–2011) 软件作者： Gilles Barthe、Lilian Burdy、Julien Charles、Benjamin Grégoire、Marieke Huisman、Jean-Louis Lanet、Mariela Pavlova、Antoine Requet 相关软件： 卡拉卡拉；JML；Why3… 主要字段： 计算机科学（68-XX）
小石岩 5份文件引用（1998年至2017年） 软件作者： 花冈、果一郎；郑玉良；伊迈、希德基 相关软件： 克利夫亚；McOE公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
梅林 5份文件引用（2013-2017） 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
UML秒 2份文件引用(2014–2018) 软件作者： Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件： 跳跃；TGV；LUSTRE… 主要字段： 计算机科学（68-XX）
香蕉 3份文件引用(2003–2008) 软件作者： 奇亚拉·布拉金（Chiara Braghin）；阿戈斯蒂诺·科尔特斯；斯蒂芬诺·菲利波内；福卡迪、里卡多；Luccio，Flaminia L。；卡拉广场 相关软件： —— 主要字段： 计算机科学（68-XX）
四层楼 3份文件引用(2013–2020) 软件作者： Sridharan，M。；阿尔齐，S。；皮斯托亚，M。；瓜尼埃里，S。；跳闸，O。；R·伯格。 相关软件： TAJ公司；戴坦；像素… 主要字段： 计算机科学（68-XX）
JavaSPI（JavaSPI） 1份文件引用(2018) 软件作者： 里卡多·西斯托；比塔萨·科佩特（Bettasa Copet），皮尔吉乌塞佩（Piergiuseppe）；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；Bouncy Castle… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
miTLS系统 3份文件引用(2019–2021) 软件作者： 卡尔蒂基安·巴加万、塞德里克·福内特、圣地亚哥·扎内拉·贝林、本杰明·贝尔杜奇、安托万·德利格纳·拉瓦德、马尔库夫·科尔维斯、吉安·卡里姆·津津多霍、纳迪姆·科贝西、阿尔弗雷多·皮隆蒂、皮尔雷·伊夫·斯特鲁布 相关软件： NAXOS；HaNS；CppMem；…（C）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CompoSAT公司 2份文件引用(2018–2022) 软件作者： Porncharoenwase，索拉维；蒂姆·纳尔逊（Tim Nelson）；克里希纳穆提，施莱姆 相关软件： MiniSat；科科德；梅斯4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
加密验证 2份文件引用(2012–2013) 软件作者： 大卫·卡德；布鲁诺·布兰切特 相关软件： ASPIER公司；OCaml；密码点… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NN修复 2份文件引用(2022) 软件作者： 穆罕默德·乌斯曼；Divya Gopinath；孙友成；诺勒，亚尼克；科琳娜·帕萨雷努 相关软件： 马拉博；Reluplex；DL2… 主要字段： 计算机科学（68-XX）
G2C公司 1份文件引用(2012) 软件作者： 迈克尔·巴克斯（Michael Backes）；马特奥·马菲；Pecina，Kim；拉斐尔·雷舒克（Raphael M.Reischuk）。 相关软件： 通用电气；AURA公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MoSS公司 1份文件引用(2021) 软件作者： 埃米尔·赫茨伯格；莱博维茨，海米；西塔，埃瓦；萨拉·沃托尼亚克 相关软件： CryptHOL公司；罗望子；GNUC… 主要字段： 信息与通信理论，电路（94-XX）