MAVEN公司 9份文件引用(2007–2013) 软件作者: Max Goldman;埃米利亚·卡茨(Emilia Katz);Shmuel Katz 相关软件: ProMoVer;CVPP;Aspectual Caml… 主要字段: 计算机科学(68-XX)
乔安娜 1份文件引用(2018) 软件作者: 尤根·格拉芙;马丁·赫克;马丁·莫尔;格雷戈尔·斯涅廷 相关软件: VerCors;酯类;毒蛇… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
雨衣 1份文件引用(2019) 软件作者: 马可·瓦塞纳(Marco Vassena);俄罗斯,亚历杭德罗;巴勃罗,布瑞斯;韦伊,卢卡斯 相关软件: —— 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
RHLE基准 1份文件引用(2022) 软件作者: Robert Dickerson;叶千川;张,迈克尔·K。;特拉华州,本杰明 相关软件: 工具链;胡迪尼;iDFlakies… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)