Awards

Results of CPAchecker in Competitions

Competition on Software Verification

Competition Submission Affiliation Gold Silver Bronze
SV-COMP'18 CPA-BAM-BnBISP RAS1
CPA-BAM-SlicingISP RAS1
CPA-SeqLMU Munich3*21
SV-COMP'17 CPA-BAM-BnBISP RAS
CPA-kIndUniversity of Passau
CPA-SeqUniversity of Passau12*
SV-COMP'16 CPA-kIndUniversity of Passau12
CPA-RefSelUniversity of Passau1
CPA-SeqUniversity of Passau23*
LPIVERIMAG
UL-CSeqUniversities of Stellenbosch / Southampton
SV-COMP'15 CPAcheckerUniversity of Passau3*32
CPArecAcademia Sinica1
UL-CSeqUniversities of Stellenbosch / Southampton
SV-COMP'14 CPAcheckerUniversity of Passau31*1
CPAlienBrno University of Technology
SV-COMP'13 CPAchecker-ExplicitUniversity of Passau4*
CPAchecker-SeqComUniversity of Passau1*6
SV-COMP'12 CPAchecker-ABEUniversity of Passau11*2
CPAchecker-MemoUniversity of Paderborn1*21
Total161819

*) including category 'Overall'

Rigorous Examination of Reactive Systems

Competition Submission Affiliation Gold Silver Bronze
RERS'17 CPAcheckerLMU Munich1
RERS'16 CPAcheckerUniversity of Passau11
RERS'14 CPAcheckerUniversity of Passau2 (+2)1
RERS'12 CPAcheckerUniversity of Passau
Total411

Bugs Found with CPAchecker

CPAchecker is used to verify Linux kernel drivers by the Linux Driver Verification project: partial list of bugs that were found with CPAchecker in the Linux kernel and are now fixed (with counterexample trace for each bug).