Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Automated Technology for Verification and Analysis by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319681672
Publisher: Springer International Publishing Publication: October 3, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319681672
Publisher: Springer International Publishing
Publication: October 3, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Computer Algebra in Scientific Computing by
Cover of the book Brexit, President Trump, and the Changing Geopolitics of Eastern Europe by
Cover of the book CFD Techniques and Thermo-Mechanics Applications by
Cover of the book Neural Information Processing by
Cover of the book Political Violence, Armed Conflict, and Youth Adjustment by
Cover of the book Capacitated Planned Maintenance by
Cover of the book Experimental Research in Earthquake Engineering by
Cover of the book Analysis of Images, Social Networks and Texts by
Cover of the book Comparative Politics of Southeast Asia by
Cover of the book Universal Access in Human-Computer Interaction. Access to Learning, Health and Well-Being by
Cover of the book Maximum-Entropy Networks by
Cover of the book ROMANSY 21 - Robot Design, Dynamics and Control by
Cover of the book Direct and Large-Eddy Simulation IX by
Cover of the book Herbert C. Kelman: A Pioneer in the Social Psychology of Conflict Analysis and Resolution by
Cover of the book Cave Exploration in Slovenia by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy