阿克斯 引用于20份文件(2012–2023) 软件作者: 罗希特·查达(Rohit Chadha)、文森特·雪娃(Vincent Cheval)、特凡·乔布(tefan CiobácȘ)、史蒂夫·克莱默(Steve Kremer) 相关软件: 塔马林;AVISPA;Maude-NPA… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
VeriMAP公司 13份文件引用(2015–2022) 软件作者: De Angelis E、Fioravanti F、Pettorossi A、Proietti M 相关软件: z3;跟踪器;SeaHorn… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
代码2发票 引用于2份文件(2020–2022) 软件作者: 司旭杰;Aaditya Naik;戴、韩军;奈克,马尤尔;宋乐 相关软件: CLN2INV公司;z3;CVC4SY… 主要字段: 计算机科学(68-XX)