Automated Technology for Verification and Analysis
14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Includes supplementary material: sn.pub/extras
Autor*in
Cyrille Artho
Themen in »Automated Technology for Verification and Analysis«
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