坎比 2份文件引用(2017–2019) 软件作者： Akhilesh Srikanth；Burak Sahin；威廉·R·哈里斯。 相关软件： 石笼SCC；CAVA LTL模型检查器；Coq… 主要字段： 计算机科学（68-XX）
金贾语而非爪哇语 2份文件引用(2016–2018) 软件作者： 格温·克莱因（Gerwin Klein）；托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；CompCertTSO… 主要字段： 计算机科学（68-XX）
solc验证 2份文件引用(2021) 软件作者： 阿尔科斯·哈伊杜，德扬·约瓦诺维奇 相关软件： VerX；深海；Manticore… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）