GitHub repository: tautschnig/cprover-sv-comp
Primary language: PHP
Description: CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)