MediaBench公司 16篇文献引用(2001–2016) 软件作者： Lee，C.，Potkonjak，M.，Mangione-Smith，W.H。 相关软件： MiBench公司；简单标尺；瓦茨… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
N模型 10篇文献引用(2007–2021) 软件作者： 乔纳森·杰基；Veanes、Marqus；科林·坎贝尔（Colin Campbell）；舒尔特，Wolfram 相关软件： SpecExplorer；UniTESK；DART… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： 洛托斯；并发工作台；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）