<pre>FM 2009 is the sixteenth in a series of symposia of the<br>Formal Methods Europe association, and the second one<br>that is organized as a world congress. Ten years after<br>FM′99, the 1st World Congress, the formal methods<br>communities from all over the world will once again have<br>an opportunity to meet. FM 2009 will be both an<br>opportunity to celebrate, and an opportunity to join in<br>when enthusiastic researchers and practitioners from a<br>diversity of backgrounds and schools come together to<br>discuss their ideas and experiences.<br>The workshop on Verified Software: Theories, Tools, and<br>Experiments (VSTTE 2009) will take place on November the<br>2nd. The focus of this workshop will be on tools, as<br>previous VSTTE conferences in Zurich and Toronto<br>emphasised theories and experiments. Consisting of<br>contributed papers and invited talks, the workshop will<br>focus on the tools behind the development of systematic<br>methods for specifying, building, and verifying<br>high–quality software. This includes topics like:<br>* Program logic<br>* Specification and verification techniques<br>* Tool support for specification languages<br>* Tool for various design methodologies<br>* Tool integration and plug–ins<br>* Automation in formal verification<br>* Tool comparisons and benchmark repositories<br>* Combination of tools and techniques<br>(e.g. formal vs. semiformal, software specification<br>vs. engineering techniques)<br>* Customizing tools for particular applications<br>Papers about tool architectures, and their achievements<br>are most welcome. The contributed papers, which should<br>report on previously unpublished work, can reflect<br>current and preliminary work in areas of software<br>verification. New technical results, overviews of new<br>developments in software verification projects, short<br>papers accompanying tool demonstrations, as well as<br>position papers on how to further advance the goal of<br>verified software are all welcome.<br></pre>
Abbrevation
FM
City
Eindhoven
Country
Netherlands
Deadline Paper
Start Date
End Date
Abstract