Journal of Automated Reasoning

, Volume 60, Issue 3, pp 255–256 | Cite as

Selected Extended Papers of VSTTE 2016

Article
  • 33 Downloads

Abstract

This special issue collects current efforts 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.

Keywords

Formal verification Deductive verification Interactive theorem proving Model checking 

Copyright information

© Springer Science+Business Media B.V. 2017

Authors and Affiliations

  1. 1.IRISA - CNRSUniversité Rennes 1RennesFrance
  2. 2.University of TorontoTorontoCanada

Personalised recommendations