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 Low Fertility, Institutions, and their Policies by
Cover of the book Proximal Femur Fractures by
Cover of the book Knowledge, Information and Creativity Support Systems: Recent Trends, Advances and Solutions by
Cover of the book Smart Data and Computational Intelligence by
Cover of the book Mathematical Structures of Natural Intelligence by
Cover of the book Resisting Carceral Violence by
Cover of the book Recent Advances in Information and Communication Technology 2018 by
Cover of the book Subsistence Entrepreneurship by
Cover of the book Measurements of the X c and X b Quarkonium States in pp Collisions with the ATLAS Experiment by
Cover of the book Animal Perception and Literary Language by
Cover of the book Waves in Continuous Media by
Cover of the book Mobile Web and Intelligent Information Systems by
Cover of the book Computer Vision – ECCV 2018 Workshops by
Cover of the book Signal Quality Assessment in Physiological Monitoring by
Cover of the book Symbols that Bind, Symbols that Divide 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