Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

CRC 901 – On-The-Fly Computing (OTF Computing)

|

CPAchecker-Memo wins the competition on software verification

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.

The University for the Information Society