ARCH-COMP 2023 Category Report: Falsification - Validation

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

Dataset

Beskrivning

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.
Datum då datat gjorts tillgängligt11 juni 2023
FörlagZenodo

Åtkomst till dataset

Citera det här