Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Verification, Model Checking, and Abstract Interpretation 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: 9783319522340
Publisher: Springer International Publishing Publication: January 9, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319522340
Publisher: Springer International Publishing
Publication: January 9, 2017
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.

The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

** **

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 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.

The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

** **

More books from Springer International Publishing

Cover of the book Key Diagnostic Features in Uroradiology by
Cover of the book The Intercorrelation of Traumatic Brain Injury and PTSD in Neuropsychological Evaluations by
Cover of the book Metallomics by
Cover of the book The Chemical Bond II by
Cover of the book Semi-Presidential Policy-Making in Europe by
Cover of the book Spherical Radial Basis Functions, Theory and Applications by
Cover of the book Essentials of Spinal Stabilization by
Cover of the book The Transitions of Aging by
Cover of the book Physician Mental Health and Well-Being by
Cover of the book Emergent Nested Systems by
Cover of the book Parameter Estimation in Fractional Diffusion Models by
Cover of the book Modern Functional Evaluation Methods for Muscle Strength and Gait Analysis by
Cover of the book Artificial Intelligence Applications in Information and Communication Technologies by
Cover of the book How Political Actors Use the Media by
Cover of the book Groundwater and Global Change in the Western Mediterranean Area 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