Blazy / Chechik | Verified Software. Theories, Tools, and Experiments | E-Book | sack.de
E-Book

E-Book, Englisch, Band 9971, 199 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Blazy / Chechik Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
1. Auflage 2016
ISBN: 978-3-319-48869-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

E-Book, Englisch, Band 9971, 199 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-319-48869-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.  The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance thestate of the art through the interaction of theory development, tool evolution, and experimental validation.
Blazy / Chechik Verified Software. Theories, Tools, and Experiments jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Blazy, Sandrine
Chechik, Marsha

Weitere Infos & Material

Education.- requirements modeling.- specification languages.- specification/verification.- formal calculi.- software design methods.- automatic code generation.- refinement methodologies.- compositional analysis.- verification tools.-  Tool integration.- Benchmarks.- Challenge problems.- Integrated verification environments.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.