© 2020

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

  • Dirk Beyer
  • Damien Zufferey
Conference proceedings VMCAI 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Kedar S. Namjoshi, Lucas M. Tabajara
    Pages 1-22
  3. Sorawee Porncharoenwase, James Bornholt, Emina Torlak
    Pages 44-67
  4. Nathanaël Courant, Antoine Séré, Natarajan Shankar
    Pages 68-89
  5. Jack J. Garzella, Marek Baranowski, Shaobo He, Zvonimir Rakamarić
    Pages 90-111
  6. Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham
    Pages 112-135
  7. Marc Chevalier, Jérôme Feret
    Pages 158-179
  8. Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky
    Pages 180-201
  9. Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik
    Pages 202-225
  10. Eric Rothstein-Morris, Jun Sun, Sudipta Chattopadhyay
    Pages 226-247
  11. Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner
    Pages 248-269
  12. Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina
    Pages 270-292
  13. Kohei Suenaga, Takuya Ishizawa
    Pages 293-313
  14. Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
    Pages 314-336
  15. Swen Jacobs, Mouhammad Sakr, Martin Zimmermann
    Pages 337-359
  16. Maxwell Levatich, Nikolaj Bjørner, Ruzica Piskac, Sharon Shoham
    Pages 360-378
  17. Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Gautham Shenoy R., S. P. Suresh
    Pages 379-400
  18. Wytse Oortwijn, Dilian Gurov, Marieke Huisman
    Pages 401-425

About these proceedings


This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. 
The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. 


architecture verification and validation artificial intelligence computer programming computer systems distributed computer systems embedded systems engineering formal logic graph theory mathematics model checking parallel processing systems software architecture software design software engineering software quality theoretical computer science verification verification and validation

Editors and affiliations

  1. 1.Ludwig-Maximilians-Universität MünchenMunichGermany
  2. 2.Max Planck Institute for Software SystemsKaiserslauternGermany

Bibliographic information

Industry Sectors
IT & Software