Skip to product information
Verification, Model Checking, and Abstract Interpretation
  • Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science Theoretical Computer Science and General Issues

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Barbara Jobstmann | K. Rustan M. Leino

Computers / Computer Science

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The  24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 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.

Publication Date: 26 December 2015
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783662491218
Format: Paperback / softback
Page Count: 558

You may also like