Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues, #9583) (Lecture Notes in Computer Science, #9583)

Barbara Jobstmann (Editor) and K. Rustan M. Leino (Editor)

0 ratings • 0 reviews • 0 shelved
Book cover for Verification, Model Checking, and Abstract Interpretation
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

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, abstractinterpretation and abstract domains, program synthesis, static analysis,type systems, deductive methods, program certification, debugging techniques,program transformation, optimization, hybrid and cyber-physical systems.
  • ISBN13 9783662491218
  • Publish Date 26 December 2015
  • Publish Status Active
  • Publish Country DE
  • Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Edition 1st ed. 2016
  • Format Paperback
  • Pages 558
  • Language English