Tags give the ability to mark specific points in history as being important
Benchmark Definitions and general structure including sub-modules as used for SV-COMP 2025
This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.
This tag marks the version of the benchmark definitions for the Competition on Software Verification (SV-COMP) 2020.
Benchmark definitions as used in the competition on software verification (SV-COMP) 2017.