Crossmark

Compositional Model Checking for Multi-properties

Crossref DOI link: https://doi.org/10.1007/978-3-030-67067-2_4

Published Online: 2021-01-12

Published Print: 2021

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

Authors

Goudsmid, Ohad

Grumberg, Orna

Sheinvald, Sarai
License Information

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01
More Information

Chapter History

First Online: 12 January 2021

Conference Information

Conference Acronym: VMCAI

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

Conference City: Copenhagen

Conference Country: Denmark

Conference Year: 2021

Conference Start Date: 17 January 2021

Conference End Date: 19 January 2021

Conference Number: 22

Conference ID: vmcai2021

Conference URL: https://popl21.sigplan.org/home/VMCAI-2021

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 48

Number of Full Papers Accepted: 22

Number of Short Papers Accepted: 1

Acceptance Rate of Full Papers: 46% - 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,1

Average Number of Papers per Reviewer: 4,6

External Reviewers Involved: Yes

Additional Info on Review Process: The conference took place virtually due to the COVID-19 pandemic.