Scholarly Works

ARCH-COMP23 Category Report: Falsification

ARCH-COMP23 Category Report: Falsification

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.

Authors

Menghi C; Arcaini P; Baptista W; Ernst G; Fainekos G; Formica F; Gon S; Khandait T; Kundu A; Pedrielli G

Volume

96

Pagination

pp. 151-131

Publisher

EasyChair

Publication Date

October 18, 2023

DOI

10.29007/6nqs

Conference proceedings

EPiC series in computing

ISSN

2398-7340

Associated Experts

Claudio Menghi

Adjunct Assistant Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

5003 Philosophy 49 Mathematical Sciences 50 Philosophy and Religious Studies

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback