VerifyThis 2017: A Program Verification Competition

Technical Report

Author(s):Marieke Huisman, Rosemary Monahan, Wojciech Mostowski, Peter Müller, and Mattias Ulbrich
Institution:Karlsruhe Institute of Technology
Series:Karlsruhe Reports in Informatics
Number:2017,10
Year:2017
Preprint/PDF:verifythis2017.pdf
URL:https://publikationen.bibliothek.kit.edu/1000077160
DOI:10.5445/ir/1000077160

BibTeX

@TechReport{VerifyThis17,
   author =    {Marieke Huisman and Rosemary Monahan and
                Wojciech Mostowski and
                Peter M{\"u}ller and Mattias Ulbrich},
   title =     {{VerifyThis 2017}: A Program Verification Competition},
   institution =  {Karlsruhe Institute of Technology},
   series =    {Karlsruhe Reports in Informatics},
   year =      {2017},
   month =     dec,
   number =    {2017,10},
   doi = {10.5445/ir/1000077160},
   url = {https://publikationen.bibliothek.kit.edu/1000077160}
}