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 Robust Representation for Data Analytics by
Cover of the book Guanidines as Reagents and Catalysts II by
Cover of the book Ironmaking and Steelmaking Processes by
Cover of the book Imaging Complications of Gastrointestinal and Biliopancreatic Endoscopy Procedures by
Cover of the book Membrane Computing by
Cover of the book The Biased Mind by
Cover of the book Artificial Neural Networks and Machine Learning – ICANN 2016 by
Cover of the book The Sports Business in The Pacific Rim by
Cover of the book Autonomous Agents and Multiagent Systems by
Cover of the book Long Term Evolution by
Cover of the book Growth Through Innovation by
Cover of the book The Science Teaching Efficacy Belief Instruments (STEBI A and B) by
Cover of the book The Castor Bean Genome by
Cover of the book Civil Engineering Applications of Ground Penetrating Radar by
Cover of the book Formation, Evolution, and Dynamics of Young Solar Systems 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