派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
PathCrawler（路径爬行器） 5份文件引用（2008年至2021年） 软件作者： 尼基·威廉姆斯、布鲁诺·玛丽、帕特里夏·穆伊、穆里尔·罗杰 相关软件： 可爱的；投掷；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CPBPV公司 4份文件引用（2010年-2023年） 软件作者： 赫莱内·科拉维扎；米歇尔·鲁赫（Michel Rueher）；帕斯卡·范·亨特利克 相关软件： TCAS；CBMC；VIPR… 主要字段： 计算机科学（68-XX）
ADTEST（自动测试） 1份文件引用(2009) 软件作者： 马修·加拉赫（Matthew J.Gallagher）；V.Lakshmi Narasimhan 相关软件： 基因组学；科拉特；纹身 主要字段： 计算机科学（68-XX）
深度WL 在0个文档中引用 软件作者： 迈克尔·道格拉斯（Michael J.J.Douglass）、詹姆斯·基尔（James A.Keal） 相关软件： 天文术；蟒蛇；PyMedPhys公司 主要字段： ——
威士忌 1份文件引用（2018年） 软件作者： Shao，D.，Khurshid，S.，Perry，D.E。 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）