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 four VSTTE conferences:

The fifth conference will be held later this year: