@InProceedings{5f6f89956d7a4f62abe4b4422ebabec9,
title = "The VerifyThis Collaborative Long Term Challenge",
abstract = "Over the last years, we have seen tremendous progress in the area of deductive program verification. To demonstrate this progress, and to bring the area of deductive program verification even further, we have proposed the VerifyThis Collaborative Long Term Challenge, which calls upon the program verification community to verify different aspects of a realistic software application over a period of several months. Goal of the challenge is to foster collaboration in order to verify a realistic and industrially-relevant software application. This paper outlines the considerations that we made when selecting the challenge, and discusses how we believe it will encourage collaboration. It presents the software application that was selected for the challenge in 2019–2020, discusses the practical set up of the challenge, and briefly reports on the received solutions and an online workshop where the different solutions were presented.",
author = "Marieke Huisman and Monti, {Ra{\'u}l E.} and Mattias Ulbrich and Alexander Weigl",
year = "2020",
month = dec,
day = "4",
doi = "10.1007/978-3-030-64354-610",
language = "English",
isbn = "978-3-030-64353-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer Singapore",
pages = "246--260",
editor = "Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"a}hnle and Mattias Ulbrich",
booktitle = "Deductive Software Verification: Future Perspectives",
address = "Singapore",
url = {https://doi.org/10.1007/978-3-030-64354-610}
}

{"_id":"N5rfXAZ9KBc5x5eps","bibbaseid":"huisman-monti-ulbrich-weigl-theverifythiscollaborativelongtermchallenge-2020","authorIDs":[],"author_short":["Huisman, M.","Monti, R.","Ulbrich, M.","Weigl, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"The VerifyThis Collaborative Long Term Challenge","abstract":"Over the last years, we have seen tremendous progress in the area of deductive program verification. To demonstrate this progress, and to bring the area of deductive program verification even further, we have proposed the VerifyThis Collaborative Long Term Challenge, which calls upon the program verification community to verify different aspects of a realistic software application over a period of several months. Goal of the challenge is to foster collaboration in order to verify a realistic and industrially-relevant software application. This paper outlines the considerations that we made when selecting the challenge, and discusses how we believe it will encourage collaboration. It presents the software application that was selected for the challenge in 2019–2020, discusses the practical set up of the challenge, and briefly reports on the received solutions and an online workshop where the different solutions were presented.","author":[{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]},{"propositions":[],"lastnames":["Monti"],"firstnames":["Raúl E."],"suffixes":[]},{"firstnames":["Mattias"],"propositions":[],"lastnames":["Ulbrich"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Weigl"],"suffixes":[]}],"year":"2020","month":"December","day":"4","doi":"10.1007/978-3-030-64354-610","language":"English","isbn":"978-3-030-64353-9","series":"Lecture Notes in Computer Science","publisher":"Springer Singapore","pages":"246–260","editor":[{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Ahrendt"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Beckert"],"suffixes":[]},{"firstnames":["Richard"],"propositions":[],"lastnames":["Bubel"],"suffixes":[]},{"firstnames":["Reiner"],"propositions":[],"lastnames":["Hähnle"],"suffixes":[]},{"firstnames":["Mattias"],"propositions":[],"lastnames":["Ulbrich"],"suffixes":[]}],"booktitle":"Deductive Software Verification: Future Perspectives","address":"Singapore","url":"https://doi.org/10.1007/978-3-030-64354-610","bibtex":"@InProceedings{5f6f89956d7a4f62abe4b4422ebabec9,\ntitle = \"The VerifyThis Collaborative Long Term Challenge\",\nabstract = \"Over the last years, we have seen tremendous progress in the area of deductive program verification. To demonstrate this progress, and to bring the area of deductive program verification even further, we have proposed the VerifyThis Collaborative Long Term Challenge, which calls upon the program verification community to verify different aspects of a realistic software application over a period of several months. Goal of the challenge is to foster collaboration in order to verify a realistic and industrially-relevant software application. This paper outlines the considerations that we made when selecting the challenge, and discusses how we believe it will encourage collaboration. It presents the software application that was selected for the challenge in 2019–2020, discusses the practical set up of the challenge, and briefly reports on the received solutions and an online workshop where the different solutions were presented.\",\nauthor = \"Marieke Huisman and Monti, {Ra{\\'u}l E.} and Mattias Ulbrich and Alexander Weigl\",\nyear = \"2020\",\nmonth = dec,\nday = \"4\",\ndoi = \"10.1007/978-3-030-64354-610\",\nlanguage = \"English\",\nisbn = \"978-3-030-64353-9\",\nseries = \"Lecture Notes in Computer Science\",\npublisher = \"Springer Singapore\",\npages = \"246--260\",\neditor = \"Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\\\"a}hnle and Mattias Ulbrich\",\nbooktitle = \"Deductive Software Verification: Future Perspectives\",\naddress = \"Singapore\",\nurl = {https://doi.org/10.1007/978-3-030-64354-610}\n}\n\n\n","author_short":["Huisman, M.","Monti, R.","Ulbrich, M.","Weigl, A."],"editor_short":["Ahrendt, W.","Beckert, B.","Bubel, R.","Hähnle, R.","Ulbrich, M."],"key":"5f6f89956d7a4f62abe4b4422ebabec9","id":"5f6f89956d7a4f62abe4b4422ebabec9","bibbaseid":"huisman-monti-ulbrich-weigl-theverifythiscollaborativelongtermchallenge-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-64354-610"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","creationDate":"2021-03-09T09:25:27.690Z","downloads":0,"keywords":[],"search_terms":["verifythis","collaborative","long","term","challenge","huisman","monti","ulbrich","weigl"],"title":"The VerifyThis Collaborative Long Term Challenge","year":2020,"dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"]}