Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Ruzica Piskac, Philipp Rümmer (Herausgeber)

Buch | Softcover

XVI, 345 Seiten

2018 | 1st ed. 2018
Springer International Publishing (Verlag)
978-3-030-03591-4 (ISBN)

Artikel merken

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
The 19 full papers presented were carefully revised and selected from 24 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.

Erscheinungsdatum	27.11.2018
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XVI, 345 p. 83 illus., 10 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	557 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Applications • Artificial Intelligence • Computer Science • conference proceedings • Embedded Systems • first order logic • Formal Logic • formal methods • Hardware • Informatics • Java • Logic Programming • Model Checking • parallel processing systems • program compilers • Programming language • Programming Languages • Program verification • Research • Semantics • Software engineering • Software Evaluation • Specifications • theorem proving • verification
ISBN-10	3-030-03591-3 / 3030035913
ISBN-13	978-3-030-03591-4 / 9783030035914
Zustand	Neuware