© 2019

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

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

  • Book Title Verification, Model Checking, and Abstract Interpretation
  • Book Subtitle 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
  • Editors Constantin Enea
    Ruzica Piskac
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect.Notes Computer
  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-030-11244-8
  • eBook ISBN 978-3-030-11245-5
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XVII, 602
  • Number of Illustrations 1260 b/w illustrations, 69 illustrations in colour
  • Topics Logics and Meanings of Programs
    Software Engineering
    Computer Communication Networks
  • Buy this book on publisher's site