Share and Export
Share and Export
Huisman, Marieke, Klebanov, Vladimir, Monahan, Rosemary and Tautschnig, Michael (2017) VerifyThis 2015: A program verification competition. International Journal on Software Tools for Technology Transfer, 19 (6). pp. 763-771. ISSN 1433-2779
Preview
Monahan_VerifyThis_2017.pdf
Download (463kB) | Preview
Abstract
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.
| Item Type: | Article |
|---|---|
| Keywords: | Deductive verification; Program Verification Tools; Competition; VerifyThis; |
| Academic Unit: | Faculty of Science and Engineering > Computer Science Faculty of Science and Engineering > Research Institutes > Hamilton Institute |
| Item ID: | 11671 |
| Identification Number: | 10.1007/s10009-016-0438-x |
| Depositing User: | Rosemary Monahan |
| Date Deposited: | 12 Nov 2019 12:38 |
| Journal or Publication Title: | International Journal on Software Tools for Technology Transfer |
| Publisher: | Springer |
| Refereed: | Yes |
| Related URLs: | |
| URI: | https://mu.eprints-hosting.org/id/eprint/11671 |
| Use Licence: | This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here |
Repository Staff Only (login required)
- Item control page
Downloads
Downloads per month over past year
