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 Biobanking in the 21st Century by
Cover of the book Lab-on-Fiber Technology by
Cover of the book Revolutionary Committees in the Cultural Revolution Era of China by
Cover of the book The Chemistry of Thermal Food Processing Procedures by
Cover of the book The Language Question under Napoleon by
Cover of the book Advances in Human Factors in Sports and Outdoor Recreation by
Cover of the book Cellular Communications Systems in Congested Environments by
Cover of the book HCI in Business, Government and Organizations. Interacting with Information Systems by
Cover of the book Engineering Trustworthy Software Systems by
Cover of the book Engineering Applications of Nanotechnology by
Cover of the book Dynamic Behavior of Materials, Volume 1 by
Cover of the book Hope for a Good Life by
Cover of the book Multimedia Tools and Applications for Environmental & Biodiversity Informatics by
Cover of the book Communicative Behaviour of a Language Learner by
Cover of the book Finite Element Methods for Incompressible Flow Problems 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