International Competition on Software Verification
Other relevant projects:
sv-benchmarks
sv-witnesses