VerifyThis 2015A program verification competition

被引：0
作者：
Marieke Huisman
Vladimir Klebanov
Rosemary Monahan
Michael Tautschnig
机构：
[1] University of Twente,
[2] Karlsruhe Institute of Technology,undefined
[3] Maynooth University,undefined
[4] Queen Mary University of London,undefined
来源：
International Journal on Software Tools for Technology Transfer | 2017年 / 19卷
关键词：
Deductive verification; Program Verification Tools; Competition; VerifyThis;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015). It was the fourth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2015 event, the challenges that were posed during the competition, and a high-level overview of the solutions to these challenges. It concludes with the results of the competition and some ideas and thoughts for future instalments of VerifyThis.
引用
收藏
页码：763 / 771
页数：8
相关论文
共 28 条
[1]  
Ernst G(2015)KIV: overview and verifyThis competition Int. J. Softw. Tools Technol. Transf. 17 677-694
[2]  
Pfähler J(2014)Rigorous examination of reactive systems Int. J. Softw. Tools Technol. Transf. 16 457-464
[3]  
Schellhorn G(2015)Verifythis 2012 Int. J. Softw. Tools Technol. Transf. 17 647-657
[4]  
Haneberg D(1979)A technique for implementing backtrack algorithms and its application Inf. Process. Lett. 8 174-175
[5]  
Reif W(2015)Frama-C: a software analysis perspective Formal Asp. Comput. 27 573-609
[6]  
Howar F(2013)Secure distributed programming with value-dependent types J. Funct. Program. 23 402-451
[7]  
Isberner M(2008)A parallel extended GCD algorithm J. Discret. Algorithms 6 526-538
[8]  
Merten M(undefined)undefined undefined undefined undefined-undefined
[9]  
Steffen B(undefined)undefined undefined undefined undefined-undefined
[10]  
Beyer D(undefined)undefined undefined undefined undefined-undefined
123