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

Andrei Paskevich 1, 2 Thomas Wies 3
2 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
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.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
VSTTE 2017 - 9th International Conference Verified Software. Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. Lecture Notes in Computer Science (10712), 2017, 〈10.1007/978-3-319-72308-2〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01670145
Contributeur : Claude Marché <>
Soumis le : jeudi 21 décembre 2017 - 10:28:58
Dernière modification le : jeudi 5 avril 2018 - 12:30:22

Identifiants

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 (10712), 2017, 〈10.1007/978-3-319-72308-2〉. 〈hal-01670145〉

Partager

Métriques

Consultations de la notice

114