| Vorliegende Sprache |
eng |
| ISBN |
978-3-319-72307-5 |
| Name |
Paskevich, Andrei ¬[HerausgeberIn]¬ |
| Wies, Thomas ¬[HerausgeberIn]¬ |
| ANZEIGE DER KETTE |
Wies, Thomas ¬[HerausgeberIn]¬ |
| T I T E L |
Verified Software. Theories, Tools, and Experiments |
| Zusatz zum Titel |
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers |
| Verlagsort |
Cham |
| Verlag |
Springer |
| Erscheinungsjahr |
2017 |
| 2017 |
| Umfang |
Online-Ressource (XIII, 211 p. 69 illus, online resource) |
| Reihe |
Lecture Notes in Computer Science ; 10712 |
| Lecture notes in computer science |
| Band |
10712 |
| Titelhinweis |
Erscheint auch als (Druck-Ausgabe)ISBN: 978-3-319-72307-5 |
| Printed editionISBN: 978-3-319-72307-5 |
| ISBN |
ISBN 978-3-319-72308-2 |
| Klassifikation |
*68-06 |
| 68Nxx |
| 00B25 |
| UMZ |
| COM051230 |
| 005.1 |
| QA76.758 |
| Kurzbeschreibung |
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 |
| 1. Schlagwortkette |
Verifikation |
| Softwarespezifikation |
| Spezifikationssprache |
| ANZEIGE DER KETTE |
Verifikation -- Softwarespezifikation -- Spezifikationssprache |
| 2. Schlagwortkette |
Softwaretest |
| Programmanalyse |
| Programmverifikation |
| Formale Methode |
| ANZEIGE DER KETTE |
Softwaretest -- Programmanalyse -- Programmverifikation -- Formale Methode |
| SWB-Titel-Idn |
496907867 |
| Signatur |
Springer E-Book |
| Bemerkungen |
Elektronischer Volltext - Campuslizenz |
| Elektronische Adresse |
$uhttp://dx.doi.org/10.1007/978-3-319-72308-2 |
| Internetseite / Link |
Volltext |
| Siehe auch |
Inhaltstext |
