日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈弗伦德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-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）
萨维亚 4份文件引用(2011–2022) 软件作者： 劳伦特·休伯特（Laurent Hubert）；巴尔，尼古拉斯；贝松，Fr‘ed’eric；Demange，Delphine；托马斯·延森（Thomas Jensen）；文森特·蒙福特；大卫·皮查迪；蒂芬·特平 相关软件： WALA；帕盖；深悟空… 主要字段： 计算机科学（68-XX）
比科拉诺MT 3份文件引用(2009–2018) 软件作者： Huisman，M.，Petri，G。 相关软件： 存档正式证据；Jinja线程；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
坎比 2份文件引用(2017–2019) 软件作者： Akhilesh Srikanth；Burak Sahin；威廉·R·哈里斯。 相关软件： 石笼SCC；CAVA LTL模型检查器；Coq… 主要字段： 计算机科学（68-XX）
solc验证 2份文件引用(2021) 软件作者： 阿尔科斯·哈伊杜，德扬·约瓦诺维奇 相关软件： VerX；深海；Manticore… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）