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 Women in Governing Institutions in South Asia by
Cover of the book Biotechnology in Africa by
Cover of the book Search for New Physics in Mono-jet Final States in pp Collisions by
Cover of the book Religions and Migrations in the Black Sea Region by
Cover of the book Mathematics Education in East Africa by
Cover of the book Halogen Bonding II by
Cover of the book Essentials of Interventional Techniques in Managing Chronic Pain by
Cover of the book Families of Automorphic Forms and the Trace Formula by
Cover of the book Dependability in Medicine and Neurology by
Cover of the book Space Telescopes by
Cover of the book Radiation Oncology for Pediatric CNS Tumors by
Cover of the book History and Politics of Well-Being in Europe by
Cover of the book Lewis Swift by
Cover of the book Circular Business Models by
Cover of the book Computers Helping People with Special Needs 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