Editors:
- 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)
Conference series link(s): ATVA: International Symposium on Automated Technology for Verification and Analysis
Conference proceedings info: ATVA 2017.
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 (30 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Program Analysis
-
Front Matter
-
-
Model Checking and Temporal Logics
-
Front Matter
-
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.
Keywords
Editors and Affiliations
-
Indian Institute of Science, Bangalore, India
Deepak D'Souza
-
Chennai Mathematical Institute, Kelambakkam, India
K. Narayan Kumar
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
Industry Sectors: Aerospace, Automotive, Biotechnology, Chemical Manufacturing, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, Health & Hospitals, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications