Skip to main content
SpringerLink
Log in

Verification, Model Checking, and Abstract Interpretation

22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Fritz Henglein

    1. University of Copenhagen, Copenhagen, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sharon Shoham

    1. Tel Aviv University, Tel Aviv, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Yakir Vizel

    1. Technion, Haifa, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: VMCAI 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  3. Hyperproperties and Infinite-State Systems

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Compositional Model Checking for Multi-properties

      • Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald
      Pages 55-80

    3. Decomposing Data Structure Commutativity Proofs with \(m\!n\)-Differencing

      • Eric Koskinen, Kshitij Bansal
      Pages 81-103

    4. Proving the Existence of Fair Paths in Infinite-State Systems

      • Alessandro Cimatti, Alberto Griggio, Enrico Magnago
      Pages 104-126

    5. A Self-certifying Compilation Framework for WebAssembly

      • Kedar S. Namjoshi, Anton Xue
      Pages 127-148

  4. Concurrent and Distributed Systems

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Concurrent Correctness in Vector Space

      • Christina Peterson, Victor Cook, Damian Dechev
      Pages 151-173

    3. Verification of Concurrent Programs Using Petri Net Unfoldings

      • Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle
      Pages 174-195

    4. Eliminating Message Counters in Synchronous Threshold Automata

      • Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
      Pages 196-218

    5. A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries

      • Nathalie Bertrand, Marijana Lazić, Josef Widder
      Pages 219-239

  5. Abstract Interpretation and Model Checking

    1. Front Matter

      Pages 241-241
      Download chapter PDF

    2. Runtime Abstract Interpretation for Numerical Accuracy and Robustness

      • Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles
      Pages 243-266

    3. Twinning Automata and Regular Expressions for String Static Analysis

      • Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
      Pages 267-290

    4. Unbounded Procedure Summaries from Bounded Environments

      • Lauren Pick, Grigory Fedyukovich, Aarti Gupta
      Pages 291-324

    5. Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking

      • Hongce Zhang, Aarti Gupta, Sharad Malik
      Pages 325-349
Back to top

Other volumes

  1. Verification, Model Checking, and Abstract Interpretation

Keywords

About this book

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic. 
The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures. 



Editors and Affiliations

  • University of Copenhagen, Copenhagen, Denmark

    Fritz Henglein

  • Tel Aviv University, Tel Aviv, Israel

    Sharon Shoham

  • Technion, Haifa, Israel

    Yakir Vizel

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation