论文信息 - VerifyThis Verification Competition 2012 - Organizer's Report

VerifyThis Verification Competition 2012 - Organizer's Report

This is an informal report on the VerifyThis 2012 verification competition compiled by its organizers. It describes the general set up, the challenges and the results of the competition. More in-depth publications will follow in a special section of the STTT journal.

[1] Tom Ridge,et al. The 1st Verified Software Competition: Experience Report , 2011, FM.

[2] Jean-Christophe Filliâtre,et al. The 2nd Verified Software Competition: Experience Report , 2012, COMPARE.

[3] Peter Sanders,et al. Simple Linear Work Suffix Array Construction , 2003, ICALP.

[4] Gidon Ernst,et al. The COST IC0701 Verification Competition 2011 , 2011, FoVeOOS.

[5] Vladimir Klebanov,et al. On the Organisation of Program Verification Competitions , 2012, COMPARE.

[6] Guy E. Blelloch,et al. Prefix sums and their applications , 1990 .