Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9938)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: ATVA 2016.
Buy print copy
About this book
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.
The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.
The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.
Similar content being viewed by others
Keywords
- formal modeling
- hybrid systems
- model checking
- optimization
- program analysis
- complexity
- concurrency
- data center
- decidability
- dynamic programming
- GPGPU
- markov decision processes
- parallelism
- probabilistic model checking
- reachability analysis
- software certification
- static analysis
- symbolic execution
- temporal logic
- verification
Table of contents (32 papers)
-
Front Matter
-
Markov Models, Chains, and Decision Processes
-
Front Matter
-
-
Counter Systems, Automata
-
Front Matter
-
-
Parallelism, Concurrency
-
Front Matter
-
-
Complexity, Decidability
-
Front Matter
-
Other volumes
-
Automated Technology for Verification and Analysis
Editors and Affiliations
Bibliographic Information
Book Title: Automated Technology for Verification and Analysis
Book Subtitle: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Editors: Cyrille Artho, Axel Legay, Doron Peled
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-46520-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-46519-7Published: 22 September 2016
eBook ISBN: 978-3-319-46520-3Published: 07 October 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 530
Number of Illustrations: 102 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Artificial Intelligence, Programming Techniques