EAN: 9783319681665

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALY...

This book constitutes the refereed proceedings of the 15th International Symposium on Automated
Technology for Verification and Analysis  ATVA 2017  held in Pune  India  in October 2017. The
22 full and 7 short papers presented in this volume were carefully reviewed and selected from
78 submissions. The book also contains one invited talk in full-paper length. The contributions
are organized in topical sections named: program analysis  model checking and temporal logics 
neural networks  learning and invariant synthesis  and hybrid systems and control.

Aktuelle Preise zur EAN 9783319681665

Produktinformationen zur 9783319681665