ARCH-COMP 2023 Category Report: Falsification

Year of publication

2023

Authors

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

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.

Organizations and authors

Åbo Akademi University

Porres Ivan

Peltomäki Jarkko

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Volume

Pages

151-169

ISSN

2398-7340

Publication forum

86263

Publication forum level

Open access

Open access in the publisher’s service

Yes

Open access of publication channel

Fully open publication channel

Self-archived

Yes

Other information

Fields of science

Computer and information sciences

Internationality of the publisher

International

Language

English

International co-publication

Yes

Co-publication with a company

DOI

10.29007/6nqs

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes