Verified Software:

Theories, Tools and Experiments

16th-19th August


Edinburgh, Scotland


The TOOLS & EXPERIMENTS Workshop at VSTTE 2010


The Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) is part of the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification.

The VSTTE workshop on Tools & Experiments focuses on the development of verification tools and their experimental evaluation.  The workshop will provide a forum to present new, possibly unfinished work and will also give the opportunity to propose research challenges, which will help form a research agenda for the Verified Software Initiative.

Call for papers

VS-TOOLS & EXPERIMENTS 2010 invites submissions of technical papers of up to 10 pages (LNCS format) related to software verification in a broad sense. This includes research on the development of program verifiers, model checkers, static analyzers, theorem provers, testing tools, and other tools related to the goals of VSI, as well as tool integration and experiments and case studies on the specifications and verification of software. This list of topics is indicative, and is explicitly intended to be non-exhaustive.

In addition to technical papers we welcome challenge papers, up to 5 pages, that pose specific or general problems in tools and experiments that pertain to VSI. Such submissions should have the word "challenge" in their title.

Accepted papers will be made available online as an informal proceedings, but there will be no formal proceedings so publication elsewhere is not precluded.

Papers should be submitted via Easychair.

Important Dates

Submission deadline: 21 May 28 May

Notification of acceptance:  25 June

Final versions due: 23 July

Workshop: 19 August


The TOOLS & EXPERIMENTS Workshop is part of VSTTE 2010 which will take place in Edinburgh.

Program committee

Leo Freitas, U. York

Rajeev Joshi, NASA/JPL Laboratory for Reliable Software (co-chair)

Moonzoo Kim, Korea Advanced Institute of Science and Technology

Joe Kiniry, IT Uni of Copenhagen

Daniel Kroening, Oxford

Tiziana Margaria, University of Potsdam (co-chair)

Thomas Santen, Microsoft

Gerhard Schellhorn, Uni Augsburg

Bernhard Steffen, Uni Dortmund