Crossmark

Generic Model Checking for Modal Fixpoint Logics in COOL-MC

Crossref DOI link: https://doi.org/10.1007/978-3-031-50524-9_8

Published Online: 2023-12-30

Published Print: 2024

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Hausmann, Daniel https://orcid.org/0000-0002-0935-8602
Humml, Merlin https://orcid.org/0000-0002-2251-8519
Prucker, Simon https://orcid.org/0009-0000-2317-5565
Schröder, Lutz https://orcid.org/0000-0002-3146-5906
Strahlberger, Aaron
License Information

Text and Data Mining valid from 2023-12-30

Version of Record valid from 2023-12-30

Text and Data Mining valid from 2023-12-30

Version of Record valid from 2023-12-30
More Information

Chapter History

First Online: 30 December 2023

Conference Information

Conference Acronym: VMCAI

Conference Name: International Conference on Verification, Model Checking, and Abstract Interpretation

Conference City: London

Conference Country: United Kingdom

Conference Year: 2024

Conference Start Date: 15 January 2024

Conference End Date: 16 January 2024

Conference Number: 25

Conference ID: vmcai2024

Conference URL: https://popl24.sigplan.org/home/VMCAI-2024

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 74

Number of Full Papers Accepted: 30

Number of Short Papers Accepted: 0

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

External Reviewers Involved: Yes