×

找到4个软件包(结果1-4)

阿克斯

引用于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)

提案解决方案

1份文件引用(2018)
软件作者: 尼古拉斯·佩尔蒂埃
相关软件: github;格栅;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…