Verification, Model Checking, and Abstract Interpretation

15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

  • Kenneth L. McMillan
  • Xavier Rival
Conference proceedings VMCAI 2014

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8318)

Table of contents

  1. Front Matter
  2. Roderick Bloem, Robert Könighofer, Martina Seidl
    Pages 1-20
  3. Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis
    Pages 21-38
  4. Andreas Gustavsson, Jan Gustafsson, Björn Lisper
    Pages 59-77
  5. Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
    Pages 78-97
  6. Dileep Kini, Mahesh Viswanathan
    Pages 118-136
  7. Bor-Yuh Evan Chang
    Pages 137-141
  8. Wei Wang, Clark Barrett, Thomas Wies
    Pages 142-160
  9. Cezara Drăgoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
    Pages 161-181
  10. Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Pages 182-202
  11. Nuno P. Lopes, José Monteiro
    Pages 203-221
  12. Marius Bozga, Radu Iosif, Filip Konečný
    Pages 242-261
  13. Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
    Pages 262-281
  14. Vicente Acuña, Andrés Aravena, Alejandro Maass, Anne Siegel
    Pages 322-336
  15. Peter Faymonville, Bernd Finkbeiner, Doron Peled
    Pages 357-375
  16. Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama
    Pages 395-414
  17. Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit
    Pages 415-433
  18. Jan Leike, Ashish Tiwari
    Pages 434-452
  19. Ben Hardekopf, Ben Wiedermann, Berkeley Churchill, Vineeth Kashyap
    Pages 472-491
  20. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of 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.


SAT-solving complexity concurrency embedded programs parallelism

Editors and affiliations

  • Kenneth L. McMillan
    • 1
  • Xavier Rival
    • 2
  1. 1.One Microsoft WayMicrosoft ResearchRedmondUSA
  2. 2.DI - Ecole Normale SupérieureParis Cedex 05France

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-54012-7
  • Online ISBN 978-3-642-54013-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software