棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
西尔文 11份文件引用（2020年-2023年） 软件作者： 范迪克，T。；范德波尔，J。 相关软件： LTSmin公司；棱镜；BuDDy… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： TaPAS；反链；LTL2BA… 主要字段： 计算机科学（68-XX）