Verification, Model Checking, and Abstract Interpretation

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

  • Constantin Enea
  • Ruzica Piskac
Conference proceedings VMCAI 2019

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

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Azalea Raad, Ori Lahav, Viktor Vafeiadis
    Pages 1-23
  3. Calvin Smith, Aws Albarghouthi
    Pages 24-47
  4. Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
    Pages 70-91
  5. Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta
    Pages 92-113
  6. Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
    Pages 114-135
  7. Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
    Pages 160-182
  8. Anja F. Karl, Robert Schilling, Roderick Bloem, Stefan Mangard
    Pages 183-204
  9. Kimball Germane, Matthew Might
    Pages 205-225
  10. Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might
    Pages 226-246
  11. Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
    Pages 247-274
  12. Tianhan Lu, Pavol Černý, Bor-Yuh Evan Chang, Ashutosh Trivedi
    Pages 275-296
  13. Jochen Hoenicke, Tanja Schindler
    Pages 297-317
  14. Xiaokang Qiu, Yanjun Wang
    Pages 318-341
  15. Charlie Murphy, Zachary Kincaid
    Pages 342-362
  16. Denis Bueno, Karem A. Sakallah
    Pages 363-385
  17. Nuno P. Lopes, Andrey Rybalchenko
    Pages 386-408
  18. Étienne André, Laurent Fribourg, Jean-Marc Mota, Romain Soulat
    Pages 409-424
  19. Tomoya Yamaguchi, Martin Brain, Chirs Ryder, Yosikazu Imai, Yoshiumi Kawamura
    Pages 425-445
  20. Gereon Fox, Daniel Stan, Holger Hermanns
    Pages 446-467
  21. Hongfei Fu, Krishnendu Chatterjee
    Pages 468-490
  22. Étienne André, Benoit Delahaye, Paulin Fournier, Didier Lime
    Pages 491-512
  23. Stefan Haar, Juraj Kolčák, Loïc Paulevé
    Pages 555-576
  24. Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
    Pages 577-600
  25. Back Matter
    Pages 601-602

About these proceedings


This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.
The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.


formal methods model checking software verification automated static analysis logic and verification abstraction verification by model checking hoare logic separation logic program reasoning

Editors and affiliations

  • Constantin Enea
    • 1
  • Ruzica Piskac
    • 2
  1. 1.IRIF University Paris Diderot and CNRSParisFrance
  2. 2.Yale UniversityNew HavenUSA

Bibliographic information