© 2017

Verification, Model Checking, and Abstract Interpretation

18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

  • Ahmed Bouajjani
  • David Monniaux
Conference proceedings VMCAI 2017

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10145)

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Zara Ahmed, David Benque, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall et al.
    Pages 1-13
  3. Pascal Cuoq, Loïc Runarvot, Alexander Cherepanov
    Pages 14-33
  4. Iago Abal, Claus Brabrand, Andrzej Wąsowski
    Pages 34-54
  5. Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Ofer Strichman
    Pages 55-72
  6. Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall
    Pages 73-90
  7. Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
    Pages 91-111
  8. Sandrine Blazy, David Bühler, Boris Yakobowski
    Pages 112-130
  9. Supratik Chakraborty, Ashutosh Gupta, Rahul Jain
    Pages 131-150
  10. Vijay D’Silva, Daniel Kroening, Marcelo Sousa
    Pages 151-168
  11. Vijay D’Silva, Marcelo Sousa
    Pages 169-186
  12. Pietro Ferrara, Omer Tripp, Peng Liu, Eric Koskinen
    Pages 187-208
  13. Asya Frumkin, Yotam M. Y. Feldman, Ondřej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham
    Pages 209-227
  14. Henning Günther, Alfons Laarman, Ana Sokolova, Georg Weissenbacher
    Pages 246-265
  15. Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang
    Pages 266-287
  16. Lukáš Holík, Martin Hruška, Ondřej Lengál, Adam Rogalewicz, Tomáš Vojnar
    Pages 288-309
  17. Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang
    Pages 310-329
  18. Dejan Jovanović
    Pages 330-346
  19. Igor Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
    Pages 347-366

About these proceedings


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.



deductive verification hybrid systems model checking security verification abstract interpretation automata automated reasoning concurrency cryptography decision procedure fault tolerance hoare logics modal and temporal logics probabilistic systems safety critical systems separation logic simulation timed and hybrid systems

Editors and affiliations

  • Ahmed Bouajjani
    • 1
  • David Monniaux
    • 2
  1. 1.IRIF, Université Paris DiderotParisFrance
  2. 2.VERIMAG, CNRS & Université Grenoble AlpesGrenobleFrance

Bibliographic information

Industry Sectors
IT & Software