This special section is devoted to activities related to VerifyThis 2012, which was held on August 30-31 2012 in Paris as a satellite event of Symposium on Formal Methods (FM 2012).
VerifyThis 2012 brought together active tool developers and users from both industry and academia, to evaluate the usability of tools in a controlled experiment that could be easily repeated by others.
The competition offered a number of challenges presented in natural language. Participants formalized the requirements, implemented a solution, and formally verified the implementation for adherence to the specification. There were no restrictions on the programming language and verification technology used. The correctness properties posed in problems had the input-output behaviour of programs as their focus.
We invite VerifyThis 2012 participants to contribute an article for peer review. This article should strengthen the exchange of ideas and knowledge that was witnessed at VerifyThis 2012.
We also invite articles for peer review from those who could not attend VerifyThis 2012, but would like to contribute by discussing their solutions to the competition challenges, hence widening the discussion on tools for program verification.
Each article should detail the participants' experience of the competition challenges containing topics such as (but not limited to) the following:
Submission to this special issue is completely open. We expect original articles (typically 10-20 STTT pages) that present high-quality contributions and must not be simultaneously submitted for publication elsewhere. Submission of extended versions of previously published papers is possible as long as the extension is significant, i.e., the submission can be considered a new paper, the previous paper is referenced, and the new material is clearly marked.
Technically involved material and detailed proofs, not necessary to understand the essence and the impact of the article, should be included in Electronic Appendices. Electronic Appendices have no page limitation and may be of different formats (links to online sites etc...).
Submissions must comply with the STTT author guidelines and be written in English. Please submit manuscripts via the STTT submission website.