Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Bernd Finkbeiner

    1. Helmholtz Center for Information Security, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas Wies

    1. New York University, New York, USA

    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 13182)

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

Included in the following conference series:

Conference proceedings info: VMCAI 2022.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.

The 22 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.

Similar content being viewed by others

Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Flavors of Sequential Information Flow

    • Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
    Pages 1-19

  3. Relational String Abstract Domains

    • Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
    Pages 20-42

  4. Fanoos: Multi-resolution, Multi-strength, Interactive Explanations for Learned Systems

    • David Bayani, Stefan Mitsch
    Pages 43-68

  5. Loop Verification with Invariants and Contracts

    • Gidon Ernst
    Pages 69-92

  6. EPMC Gets Knowledge in Multi-agent Systems

    • Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini et al.
    Pages 93-107

  7. High Assurance Software for Financial Regulation and Business Platforms

    • Stephen Goldbaum, Attila Mihaly, Tosha Ellison, Earl T. Barr, Mark Marron
    Pages 108-126

  8. Gradient-Descent for Randomized Controllers Under Partial Observability

    • Linus Heck, Jip Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen
    Pages 127-150

  9. Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

    • Peter Gjøl Jensen, Jiří Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt
    Pages 151-173

  10. Verifying Pufferfish Privacy in Hidden Markov Models

    • Depeng Liu, Bow-Yaw Wang, Lijun Zhang
    Pages 174-196

  11. A Flow-Insensitive-Complete Program Representation

    • Solène Mirliaz, David Pichardie
    Pages 197-218

  12. Lightweight Shape Analysis Based on Physical Types

    • Olivier Nicole, Matthieu Lemerre, Xavier Rival
    Pages 219-241

  13. Fast Three-Valued Abstract Bit-Vector Arithmetic

    • Jan Onderka, Stefan Ratschan
    Pages 242-262

  14. Satisfiability and Synthesis Modulo Oracles

    • Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia
    Pages 263-284

  15. Bisimulations for Neural Network Reduction

    • Pavithra Prabhakar
    Pages 285-300

  16. NP Satisfiability for Arrays as Powers

    • Rodrigo Raya, Viktor Kunčak
    Pages 301-318

  17. STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking

    • Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang
    Pages 319-331

  18. Generalized Arrays for Stainless Frames

    • Georg Stefan Schmid, Viktor Kunčak
    Pages 332-354

  19. Making PROGRESS in Property Directed Reachability

    • Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
    Pages 355-377

  20. Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms

    • Landon Taylor, Zhen Zhang
    Pages 378-399
Back to top

Other volumes

  1. Verification, Model Checking, and Abstract Interpretation

Editors and Affiliations

  • Helmholtz Center for Information Security, Saarbrücken, Germany

    Bernd Finkbeiner

  • New York University, New York, USA

    Thomas Wies

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation