VSTTE’10
Verified Software:
Theories, Tools and Experiments
16th-19th August
2010
Edinburgh, Scotland
Sponsors
Latest News
30 August July 2010: Verification competition solutions updated
More/updated details about the verification competition (results) are available here.
25 August July 2010: Photos from conference available
Some photos taken during the conference are now available here.
19 August July 2010: Verification competition results announced
More details about the verification competition results are available here.
18 August July 2010: Verification competition announced
More details about the verification competition are available here.
proceedings published by:
coinciding festivals:
Welcome to the VSTTE’10 webpage
The 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE) will be hosted by Heriot-Watt University in Edinburgh. 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. This initiative also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems Evolution. Previously, VSTTE was held in Toronto (2008) and Zurich (2005). August is festival time in Edinburgh, and the conference will coincide with several international festivals making VSTTE-10 an unique cultural and scholarly event for 2010!
Click here to download the VSTTE’10 poster!
