ARCH-COMP23 Category Report: Falsification Conferences uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

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, Claudio
  • Arcaini, Paolo
  • Baptista, Walstan
  • Ernst, Gidon
  • Fainekos, Georgios
  • Formica, Federico
  • Gon, Sauvik
  • Khandait, Tanmay
  • Kundu, Atanu
  • Pedrielli, Giulia
  • Peltomäki, Jarkko
  • Porres, Ivan
  • Ray, Rajarshi
  • Waga, Masaki
  • Zhang, Zhenya

publication date

  • October 18, 2023