GitHub repository: michkot/sv-benchmarks
Primary language: C
Description: Collection of Verification Tasks