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 Multilingual Education Yearbook 2018 by
Cover of the book Congenital Müllerian Anomalies by
Cover of the book Information Retrieval by
Cover of the book Advances in Intelligent Networking and Collaborative Systems by
Cover of the book Contemporary Masculinities by
Cover of the book Darwinian Biolinguistics by
Cover of the book Computer Vision - ACCV 2014 Workshops by
Cover of the book Urban Renewal, Community and Participation by
Cover of the book Thyroid and Parathyroid Ultrasound and Ultrasound-Guided FNA by
Cover of the book Leadership without Ego by
Cover of the book The Role of Anesthesiology in Global Health by
Cover of the book Ontology Engineering by
Cover of the book Innovating with Concept Mapping by
Cover of the book The Blind Spots of Public Bureaucracy and the Politics of Non‐Coordination by
Cover of the book Energy Efficient Smart Phones for 5G Networks 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