Selected Extended Papers of VSTTE 2016
- 33 Downloads
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.
KeywordsFormal verification Deductive verification Interactive theorem proving Model checking
© Springer Science+Business Media B.V. 2017