Document is current

Chapter History

First Online: 20 April 2023

Data-Availability Statement

: The verification tasks and results of the competition are published at Zenodo, as described in Table . All components and data that are necessary for reproducing the competition are available in public version repositories, as specified in Table . For easy access, the results are presented also online on the competition web site . The main results were reproduced in an independent reproduction study [].

: This project was funded in part by the Deutsche Forschungsgemeinschaft (DFG) — (Coop).

Conference Information

Conference Acronym: TACAS

Conference Name: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference City: Paris

Conference Country: France

Conference Year: 2023

Conference Start Date: 22 April 2023

Conference End Date: 27 April 2023

Conference Number: 29

Conference ID: tacas2023

Conference URL: https://etaps.org/2023/tacas

Peer Review Information (provided by the conference organizers)

Type: Double-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 169

Number of Full Papers Accepted: 56

Number of Short Papers Accepted: 6

Acceptance Rate of Full Papers: 33% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 11

External Reviewers Involved: Yes