Bibliographic Details
| Title: |
VerifyThis 2015. |
| Authors: |
Huisman, Marieke1 m.huisman@utwente.nl, Klebanov, Vladimir2 klebanov@kit.edu, Monahan, Rosemary3 Rosemary.Monahan@nuim.ie, Tautschnig, Michael4 michael.tautschnig@qmul.ac.uk |
| Source: |
International Journal on Software Tools for Technology Transfer. Nov2017, Vol. 19 Issue 6, p763-771. 9p. |
| Subjects: |
Software verification, Computer software installation, Software development tools, Computer software conferences |
| Geographic Terms: |
London (England) |
| 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. [ABSTRACT FROM AUTHOR] |
|
Copyright of International Journal on Software Tools for Technology Transfer is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
