Welcome to VSTTE 2010 The 3 rd International Conference on Verified Software: Theories, Tools & Experiments Andrew Ireland Conference Chair.