Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10482)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: ATVA 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.
The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.
The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
Similar content being viewed by others
Keywords
Table of contents (30 papers)
-
Invited Talk
-
Program Analysis
-
Model Checking and Temporal Logics
Other volumes
-
Automated Technology for Verification and Analysis
Editors and Affiliations
Bibliographic Information
Book Title: Automated Technology for Verification and Analysis
Book Subtitle: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Editors: Deepak D'Souza, K. Narayan Kumar
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-68167-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-68166-5Published: 04 October 2017
eBook ISBN: 978-3-319-68167-2Published: 03 October 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIX, 482
Number of Illustrations: 106 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Computing Milieux, Theory of Computation, Artificial Intelligence