VerifyThis 2016: A Program Verification Competition. Huisman, M., Monahan, R., Müller, P., & Poll, E. Centre for Telematics and Information Technology (CTIT), Netherlands, 6, 2016. eemcs-eprint-27060Paper abstract bibtex VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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.
@book{b8dbe2be359242bf8f03dad396167e24,
title = "VerifyThis 2016: A Program Verification Competition",
abstract = "VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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.",
keywords = "Program Verification, EWI-27060, IR-100549, Competition, METIS-317220",
author = "Marieke Huisman and Rosemary Monahan and Peter Müller and Erik Poll",
note = "eemcs-eprint-27060",
year = "2016",
month = "6",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-16-07",
address = "Netherlands",
url = "https://research.utwente.nl/en/publications/verifythis-2016-a-program-verification-competition(b8dbe2be-3592-42bf-8f03-dad396167e24).html"
}
Downloads: 0
{"_id":"nJn3TSyDQZKErdqwJ","bibbaseid":"huisman-monahan-mller-poll-verifythis2016aprogramverificationcompetition-2016","authorIDs":[],"author_short":["Huisman, M.","Monahan, R.","Müller, P.","Poll, E."],"bibdata":{"bibtype":"book","type":"book","title":"VerifyThis 2016: A Program Verification Competition","abstract":"VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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.","keywords":"Program Verification, EWI-27060, IR-100549, Competition, METIS-317220","author":[{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"firstnames":["Rosemary"],"propositions":[],"lastnames":["Monahan"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Müller"],"suffixes":[]},{"firstnames":["Erik"],"propositions":[],"lastnames":["Poll"],"suffixes":[]}],"note":"eemcs-eprint-27060","year":"2016","month":"6","language":"Undefined","series":"CTIT Technical Report Series","publisher":"Centre for Telematics and Information Technology (CTIT)","number":"TR-CTIT-16-07","address":"Netherlands","url":"https://research.utwente.nl/en/publications/verifythis-2016-a-program-verification-competition(b8dbe2be-3592-42bf-8f03-dad396167e24).html","bibtex":"@book{b8dbe2be359242bf8f03dad396167e24,\ntitle = \"VerifyThis 2016: A Program Verification Competition\",\nabstract = \"VerifyThis 2016 was a one-day program verification competition which took place on April 2nd, 2016 in Eindhoven, The Netherlands as part of the European Joint Conferences on Theory and Practice of Soft- ware (ETAPS 2016). It was the fifth instalment in the VerifyThis competition series. This article provides an overview of the VerifyThis 2016 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.\",\nkeywords = \"Program Verification, EWI-27060, IR-100549, Competition, METIS-317220\",\nauthor = \"Marieke Huisman and Rosemary Monahan and Peter Müller and Erik Poll\",\nnote = \"eemcs-eprint-27060\",\nyear = \"2016\",\nmonth = \"6\",\nlanguage = \"Undefined\",\nseries = \"CTIT Technical Report Series\",\npublisher = \"Centre for Telematics and Information Technology (CTIT)\",\nnumber = \"TR-CTIT-16-07\",\naddress = \"Netherlands\",\nurl = \"https://research.utwente.nl/en/publications/verifythis-2016-a-program-verification-competition(b8dbe2be-3592-42bf-8f03-dad396167e24).html\"\n}\n","author_short":["Huisman, M.","Monahan, R.","Müller, P.","Poll, E."],"key":"b8dbe2be359242bf8f03dad396167e24","id":"b8dbe2be359242bf8f03dad396167e24","bibbaseid":"huisman-monahan-mller-poll-verifythis2016aprogramverificationcompetition-2016","role":"author","urls":{"Paper":"https://research.utwente.nl/en/publications/verifythis-2016-a-program-verification-competition(b8dbe2be-3592-42bf-8f03-dad396167e24).html"},"keyword":["Program Verification","EWI-27060","IR-100549","Competition","METIS-317220"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2019-08-05T16:23:13.535Z","downloads":0,"keywords":["program verification","ewi-27060","ir-100549","competition","metis-317220"],"search_terms":["verifythis","2016","program","verification","competition","huisman","monahan","müller","poll"],"title":"VerifyThis 2016: A Program Verification Competition","year":2016,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}