News

CPAcheck­er-Memo wins the com­pet­i­tion on soft­ware veri­fic­a­tion

Begin: Sat, 24. of Mar 2012 (10:00 AM)
Location: Tallinn, Estonia

The software verification tool CPAchecker-Memo 1.0.10 developed by Daniel Wonisch within the SFB 901 project B4 wins the 1st International Competition on Software Verification (SV-COMP) held at TACAS 2012 in Tallinn, Estonia.

Competition on Software Verification

Associated with TACAS 2012 there will be a <link http: sv-comp.sosy-lab.org results index.php _blank>competition on software verification. TACAS 2012 hosts the first such competition event with the goal to evaluate the technology transfer and compare state-of-the-art software verifiers with respect to effectiveness and efficiency. The competition is performed and presented by the TACAS Competition Chair Dirk Beyer.