[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] STTT Special Section on Program Verification - Call for Papers




(Apologies if you receive multiple copies of this announcement)
------------------------------------------------------------
 
International Journal on Software Tools for Technology Transfer (STTT)
Special Section on Program Verification
-- CALL FOR PAPERS --
 
------------------------------------------------------------
 
This special section is devoted to activities related to VerifyThis 2012
  
 http://fm2012.verifythis.org

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:
* Details of the tool/approach used
* Material emphasizing usability of the tool
* Discussion of completed challenges
* Details of additional related challenges
* A reflection on what was learned from completing the competition challenges (advancements that are necessary for tools, usability issues, comparison with other tools etc.)
* A report on the experience of participating in the competition

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

   http://sttt.cs.uni-dortmund.de/for-authors.html

and be written in English. Submission is via the STTT website which will open for contributions in early February 2013. The link for submissions will be circulated then.

IMPORTANT DATES
---------------
* Submission of papers: March 1st, 2013.
* Intended Notification Date: June 1st, 2013.

GUEST EDITORS
--------------
* Dr Marieke Huisman (University of Twente, The Netherlands)
* Dr Vladimir Klebanov (Karlsruhe Institute of Technology, Germany)
* Dr Rosemary Monahan (NUI Maynooth, Ireland)

CONTACT
--------------
Please send any queries you may have to:
   fm2012@xxxxxxxxxxxxxx.


Dr Rosemary Monahan
Principles of Programming Research Group
Department of Computer Science,
NUI Maynooth, Maynooth, Co. Kildare, Ireland.

Tel: +353-1-7083463
Web: http://www.cs.nuim.ie/staff/rosemary/