VSTTE 2010 workshop proceedings
Rajeev Joshi, Tiziana Margaria, Péter Müller, David A. Naumann, Hongseok Yang · Repository for Publications and Research Data (ETH Zurich) · 2010
The third instance of Verified Software: Theories, Tools and Experiments hosted two workshops:VS-Theory (18th August) focuses on theoretical foundations of software verification.Topics range from the difficult and essential study of soundness of delicate proof methods, to the discovery of new specification techniques and proof methods, to dramatic simplification or unification of existing methods, to as yet unknown breakthroughs.The workshop was cochaired by