Crossmark

From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques

Crossref DOI link: https://doi.org/10.1007/978-3-030-99527-0_10

Published Online: 2022-03-30

Published Print: 2022

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

Authors

Koutavas, Vasileios http://orcid.org/0000-0002-3970-2486
Lin, Yu-Yang http://orcid.org/0000-0001-5783-9454
Tzevelekos, Nikos http://orcid.org/0000-0001-8509-8059
License Information

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-03-30

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-03-30
More Information

Chapter History

First Online: 30 March 2022

Conference Information

Conference Acronym: TACAS

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

Conference City: Munich

Conference Country: Germany

Conference Year: 2022

Conference Start Date: 2 April 2022

Conference End Date: 7 April 2022

Conference Number: 28

Conference ID: tacas2022

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

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 159

Number of Full Papers Accepted: 46

Number of Short Papers Accepted: 4

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

External Reviewers Involved: Yes

Additional Info on Review Process: 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report are also included in the proceedings

Document is current

Any future updates will be listed below