Updates are available Correction dated 2023-08-27

Chapter History

First Online: 18 July 2023

Change Date: 27 August 2023

Change Type: Correction

Change Details: A correction has been published.

Conference Information

Conference Acronym: CAV

Conference Name: International Conference on Computer Aided Verification

Conference City: Paris

Conference Country: France

Conference Year: 2023

Conference Start Date: 17 July 2023

Conference End Date: 22 July 2023

Conference Number: 35

Conference ID: cav2023

Conference URL: http://www.i-cav.org/2023/

Peer Review Information (provided by the conference organizers)

Type: Double-blind

Conference Management System: hotcrp

Number of Submissions Sent for Review: 261

Number of Full Papers Accepted: 67

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 26% - 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