The VSTTE Conference Series

The Verified Software Initiative has it’s own dedicated conference: Verified Software: Theories, Tools and Experiments (VSTTE). The goal of this conference series is to advance the state of the art in the science and technology of software verification through the interaction of theory development, tool evolution, and experimental validation. 

To date there have been the following VSTTE conferences: