Bibliographic Details
| Title: |
VerifyThis 2012. |
| Authors: |
Huisman, Marieke1 m.huisman@utwente.nl, Klebanov, Vladimir2 klebanov@kit.edu, Monahan, Rosemary3 Rosemary.Monahan@nuim.ie |
| Source: |
International Journal on Software Tools for Technology Transfer. Nov2015, Vol. 17 Issue 6, p647-657. 11p. |
| Subjects: |
Software verification, Formal methods (Computer science), Software engineering, National Physical Laboratory (Great Britain), Boolean functions, Software development tools, Conferences & conventions |
| Abstract: |
VerifyThis 2012 was a 2-day verification competition that took place as part of the International Symposium on Formal Methods (FM 2012) on August 30-31, 2012, in Paris, France. It was the second installment in the VerifyThis series. After the competition, an open call solicited contributions related to the VerifyThis 2012 challenges and overall goals. As a result, seven papers were submitted and, after review and revision, included in this special issue. In this introduction to the special issue, we provide an overview of the VerifyThis competition series, an account of related activities in the area, and an overview of solutions submitted to the organizers both during and after the 2012 competition. We conclude with a summary of results and some remarks concerning future installments 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 |
