-
c-cegar-icse2022 protected
Version used in ICSE'22 publication 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'
-
svcomp21 protected
This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.
-
testcomp21 protected
This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.