Filters








4 Hits in 3.8 sec

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Seminar 14171)

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2014 unpublished
Digital Object Identifier: 10.4230/DagRep.4.4.i Aims and Scope The periodical Dagstuhl Reports documents the program and the results of Dagstuhl Seminars and Dagstuhl Perspectives Workshops.  ...  In principal, for each Dagstuhl Seminar or Dagstuhl Perspectives Workshop a report is published that contains the following: an executive summary of the seminar program and the fundamental results,  ... 
fatcat:igpmpbyhpjertiucretfjsnumy

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Seminar 14171)

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2014 unpublished
This report documents the program and the outcomes of Dagstuhl Seminar 14172 "Unifying Product and Software Configuration".  ...  This leads to challenges for the development of verification systems, as well as the collection of verification benchmarks and competitions.  ...  It will be evaluated on use cases for training, analysis, and design.  ... 
fatcat:7oertv35wfazxdujx3icnuxsze

Report from Dagstuhl Seminar Evaluating Software Verification Systems: Benchmarks and Competitions 1 Executive Summary

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan (+5 others)
unpublished
This report documents the program and the outcomes of Dagstuhl Seminar 14171 "Evaluating Software Verification Systems: Benchmarks and Competitions".  ...  License Creative Commons BY 3.0 Unported license © The seminar aimed to advance comparative empirical evaluation of software verification systems by bringing together current and future competition organizers  ...  1 -Evaluating Software Verification Systems: Benchmarks and Competitions 4 1 7 1  ... 
fatcat:gzkfgpedljej3ielgjf7wszeba

VerifyThis 2015

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig
2016 International Journal on Software Tools for Technology Transfer (STTT)  
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 concludes with the results of the competition and some ideas and thoughts for future instalments of VerifyThis.  ...  Acknowledgments The organisers would like to thank Wojciech Mostowski and Radu Grigore for their feedback and support prior to the competition.  ... 
doi:10.1007/s10009-016-0438-x fatcat:7yknibf43nhyzbood4ylzohpyy