ARCH-COMP 2023 Category Report: Falsification - Validation

Name: ARCH-COMP 2023 Category Report: Falsification - Validation
Creator: Arcaini, Paolo; Fainekos, Georgios; Porres, Ivan; Waga, Masaki; Menghi, Claudio; Formica, Federico; Gon, Sauvik; Kundu, Atanu; Ray, Rajarshi; Baptista, Walstan; Zhang, Zhenya; Ernst, Gidon; Peltomäki, Jarkko; Khandait, Tanmay; Pedrielli, Giulia
Published: 2023-06-11T00:00:00+08:00

Zenodo2023-06-11 更新2026-04-07 收录

形式验证

系统证伪

数据链接：

https://zenodo.org/record/8024425 数据链接链接失效反馈

官方服务：

资源简介：

ARCH-COMP 2023 is an international competition on verifying continuous and hybrid systems. This archive refers to the falsification category of this competition. It contains the traces submitted for validation and the corresponding validation results.

提供机构：

Arcaini, Paolo; Fainekos, Georgios; Porres, Ivan; Waga, Masaki; Menghi, Claudio; Formica, Federico; Gon, Sauvik; Kundu, Atanu; Ray, Rajarshi; Baptista, Walstan; Zhang, Zhenya; Ernst, Gidon; Peltomäki, Jarkko; Khandait, Tanmay; Pedrielli, Giulia

创建时间：

2023-06-11