Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science, 9938) - Softcover

 
9783319465197: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings: 9938 (Lecture Notes in Computer Science, 9938)
Softcover
ISBN 10: 3319465198 ISBN 13: 9783319465197
Publisher: Springer, 2016

Synopsis

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. 

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2016
Language
English
ISBN 10 
3319465198
ISBN 13 
9783319465197
Binding
Paperback
Edition number
1
Number of pages
541
Editor
Artho Cyrille, Legay Axel, Peled Doron

Other Popular Editions of the Same Title

9783319465210: Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Featured Edition

ISBN 10:  331946521X ISBN 13:  9783319465210
Publisher: Springer, 2016
Softcover