Advertisement

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
  19. Helmut Seidl, Christian Müller, Bernd Finkbeiner
    Pages 426-448
  20. Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
    Pages 449-470
  21. Back Matter
    Pages 471-471

About these proceedings

Introduction

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. 

Keywords

Computer Science Informatics Conference Proceedings Research Applications

Editors and affiliations

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-39322-9
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-39321-2
  • Online ISBN 978-3-030-39322-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering