EAN: 9783319465197

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALY...

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.

Aktuelle Preise zur EAN 9783319465197

Produktinformationen zur 9783319465197