ARCH-COMP 2023 Category Report: Falsification

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

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

22 Downloads (Pure)

Abstract

This report presents the results from the 2023 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the benchmark models selected to compare the tools and the competition settings and provide background on the participating teams and tools. Finally, we present and discuss our results.
Original languageEnglish
Title of host publicationProceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
PublisherEasyChair
Pages151-169
DOIs
Publication statusPublished - 2023
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Applied Verification of Continuous and Hybrid Systems -
Duration: 12 Apr 2023 → …

Publication series

NameEPiC Series in Computing
PublisherEasyChair
Volume96
ISSN (Electronic)2398-7340

Conference

ConferenceInternational Workshop on Applied Verification of Continuous and Hybrid Systems
Abbreviated titleARCH
Period12/04/23 → …

Fingerprint

Dive into the research topics of 'ARCH-COMP 2023 Category Report: Falsification'. Together they form a unique fingerprint.

Cite this