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 Organizing for the Digital World by
Cover of the book Economic Thought and Institutional Change in France and Italy, 1789–1914 by
Cover of the book Information Security and Privacy by
Cover of the book Beyond the Turnout Paradox by
Cover of the book Financial Liberalisation by
Cover of the book Artificial Intelligence and Robotics by
Cover of the book Flows in Polymers, Reinforced Polymers and Composites by
Cover of the book Production of biodiesel using lipase encapsulated in κ-carrageenan by
Cover of the book EuCoMeS 2018 by
Cover of the book Therapeutic Use of Medicinal Plants and their Extracts: Volume 2 by
Cover of the book The Emergence of Israeli-Greek Cooperation by
Cover of the book Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies by
Cover of the book Human Friendly Robotics by
Cover of the book Methods of Fourier Analysis and Approximation Theory by
Cover of the book Hydrometeorology 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