Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13124)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): NSV: International Workshop on Numerical Software Verification, VSTTE: Working Conference on Verified Software: Theories, Tools, and Experiments
Conference proceedings info: NSV 2021, VSTTE 2021.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 papers)
-
Front Matter
-
VSTTE 2021
-
Front Matter
-
-
Back Matter
About this book
There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions.
The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer programming
- computer science
- computer systems
- distributed computer systems
- distributed systems
- embedded systems
- engineering
- formal logic
- mathematics
- matrix algebra
- model checking
- parallel processing systems
- software architecture
- software design
- software engineering
- theoretical computer science
Editors and Affiliations
-
Graz University of Technology, Graz, Austria
Roderick Bloem
-
CISPA, Helmholtz Center for Information Security, Saarbrücken, Germany
Rayna Dimitrova
-
Massachusetts Institute of Technology, Cambridge, USA
Chuchu Fan
-
Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland
Natasha Sharygina
Bibliographic Information
Book Title: Software Verification
Book Subtitle: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
Editors: Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-95561-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-030-95560-1Published: 22 February 2022
eBook ISBN: 978-3-030-95561-8Published: 21 February 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 197
Number of Illustrations: 25 b/w illustrations, 42 illustrations in colour
Topics: Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Computer Communication Networks, Control Structures and Microprogramming, Computer Hardware