Skip to Main content Skip to Navigation
Directions of work or proceedings

Verified Software: Theories, Tools, and Experiments, Revised Selected Papers Presented at the 9th International Conference VSTTE

Abstract : This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01670145
Contributor : Claude Marché <>
Submitted on : Thursday, December 21, 2017 - 10:28:58 AM
Last modification on : Friday, April 30, 2021 - 9:58:32 AM

Identifiers

Citation

Andrei Paskevich, Thomas Wies. Verified Software: Theories, Tools, and Experiments, Revised Selected Papers Presented at the 9th International Conference VSTTE. VSTTE 2017 - 9th International Conference Verified Software. Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. Lecture Notes in Computer Science, Lecture Notes in Computer Science (10712), 2017, ⟨10.1007/978-3-319-72308-2⟩. ⟨hal-01670145⟩

Share

Metrics

Record views

202