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 Predicting Real World Behaviors from Virtual World Data by
Cover of the book Advances in Treatments for Aortic Valve and Root Diseases by
Cover of the book Designing with Xilinx® FPGAs by
Cover of the book Enlarging the Scope of Peace Psychology by
Cover of the book Functional Dynamic Equations on Time Scales by
Cover of the book Cryptography and Information Security in the Balkans by
Cover of the book Change Management in Nonprofit Organizations by
Cover of the book Case Studies of Postoperative Complications after Digestive Surgery by
Cover of the book Advanced Parallel Processing Technologies by
Cover of the book Fluorescence Imaging for Surgeons by
Cover of the book Challenging Problems and Solutions in Intelligent Systems by
Cover of the book Human Rights and Religion in Educational Contexts by
Cover of the book Neural Information Processing by
Cover of the book Reviews of Environmental Contamination and Toxicology, Volume 227 by
Cover of the book The Ageing of Materials and Structures 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