Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11781)
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 2019.
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 (31 papers)
-
Front Matter
-
Testing
-
Front Matter
-
-
Program Analysis
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.
The 24 regular papers presented together with 3 tool papers were carefully reviewed and selected from 65 submissions.
The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The papers focus on cyber-physical systems; runtime techniques; testing; automata; synthesis; stochastic systems and model checking.
Keywords
- software engineering
- semantics
- software evaluation
- verification
- specifications
- programming languages
- formal logic
- temporal logic
- cyber-physical systems
- runtime verification techniques
- software testing
- program analysis
- automata
- synthesis
- stochastic systems
- model checking
- algorithm analysis and problem complexity
Editors and Affiliations
-
Institute of Information Science, Academia Sinica, Taipei, Taiwan
Yu-Fang Chen
-
DENSO AUTOMOTIVE Deutschland GmbH, Eching, Germany
Chih-Hong Cheng
-
Institute of Computer Science, TU München, Munich, Germany
Javier Esparza
Bibliographic Information
Book Title: Automated Technology for Verification and Analysis
Book Subtitle: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Editors: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-31784-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-31783-6Published: 06 October 2019
eBook ISBN: 978-3-030-31784-3Published: 21 October 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 552
Number of Illustrations: 694 b/w illustrations, 60 illustrations in colour
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence, Algorithm Analysis and Problem Complexity