Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11294)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: VSTTE 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (19 papers)
Other volumes
-
Verified Software. Theories, Tools, and Experiments
Keywords
- artificial intelligence
- embedded systems
- first order logic
- formal logic
- formal methods
- hardware
- java
- logic programming
- model checking
- parallel processing systems
- program compilers
- program verification
- programming language
- programming languages
- semantics
- software engineering
- software evaluation
- specifications
- theorem proving
- verification
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Verified Software. Theories, Tools, and Experiments
Book Subtitle: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Editors: Ruzica Piskac, Philipp Rümmer
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-03592-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-030-03591-4Published: 24 November 2018
eBook ISBN: 978-3-030-03592-1Published: 23 November 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 345
Number of Illustrations: 73 b/w illustrations, 10 illustrations in colour
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, System Performance and Evaluation, Special Purpose and Application-Based Systems, The Computing Profession