Published June 11, 2023 | Version v1
Dataset Open

ARCH-COMP 2023 Category Report: Falsification - Validation

Creators

  • 1. University of Bergamo, Bergamo, Italy and McMaster University, Hamilton, Canada
  • 2. National Institute of Informatics (NII), Tokyo, Japan
  • 3. Arizona State University (ASU), Tempe, USA
  • 4. Ludwig-Maximilians-University (LMU), Munich, Germany
  • 5. Toyota Motor North America, Research & Development
  • 6. McMaster University, Hamilton, Canada
  • 7. Indian Association for the Cultivation of Science, Kolkata, India
  • 8. Åbo Akademi University, Turku, Finland
  • 9. Kyoto University, Japan
  • 10. Kyushu University, Japan

Description

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.

Files

2023-ARCH-COMP-Falsification.zip

Files (70.5 MB)

Name Size Download all
md5:d556c079b46c1eb93995bb7237623166
70.5 MB Preview Download