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