Skip to main content
SpringerLink
Log in
Book cover

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Isil Dillig

    1. University of Texas , Austin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jens Palsberg

    1. University of California , Los Angeles, 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 10747)

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

Included in the following conference series:

Conference proceedings info: VMCAI 2018.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (24 papers)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

    • Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
    Pages 1-24

  3. Gradual Program Verification

    • Johannes Bader, Jonathan Aldrich, Éric Tanter
    Pages 25-46

  4. Automatic Verification of RMA Programs via Abstraction Extrapolation

    • Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin Vechev
    Pages 47-70

  5. Scalable Approximation of Quantitative Information Flow in Programs

    • Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf
    Pages 71-93

  6. Code Obfuscation Against Abstract Model Checking Attacks

    • Roberto Bruni, Roberto Giacobazzi, Roberta Gori
    Pages 94-115

  7. Abstract Code Injection

    • Samuele Buro, Isabella Mastroeni
    Pages 116-137

  8. A Framework for Computer-Aided Design of Educational Domain Models

    • Eric Butler, Emina Torlak, Zoran Popović
    Pages 138-160

  9. Automatic Verification of Intermittent Systems

    • Manjeet Dahiya, Sorav Bansal
    Pages 161-182

  10. On abstraction and compositionality for weak-memory linearisability

    • Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong
    Pages 183-204

  11. From Shapes to Amortized Complexity

    • Tomáš Fiedor, Lukáš Holík, Adam Rogalewicz, Moritz Sinn, Tomáš Vojnar, Florian Zuleger
    Pages 205-225

  12. Invariant Generation for Multi-Path Loops with Polynomial Assignments

    • Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
    Pages 226-246

  13. Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity

    • Swen Jacobs, Mouhammad Sakr
    Pages 247-268

  14. Refinement Types for Ruby

    • Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak
    Pages 269-290

  15. Modular Analysis of Executables Using On-Demand Heyting Completion

    • Julian Kranz, Axel Simon
    Pages 291-312

  16. Learning to Complement Büchi Automata

    • Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe
    Pages 313-335

  17. \(P^5\): Planner-less Proofs of Probabilistic Parameterized Protocols

    • Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf
    Pages 336-357

  18. Co-Design and Verification of an Available File System

    • Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster
    Pages 358-381

  19. Abstraction-Based Interaction Model for Synthesis

    • Hila Peleg, Shachar Itzhaky, Sharon Shoham
    Pages 382-405

  20. Generating Tests by Example

    • Hila Peleg, Dan Rasin, Eran Yahav
    Pages 406-429
Back to top

Other volumes

  1. Verification, Model Checking, and Abstract Interpretation

Keywords

About this book

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018.
The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial  were carefully reviewed and selected from 43 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.

Editors and Affiliations

  • University of Texas , Austin, USA

    Isil Dillig

  • University of California , Los Angeles, USA

    Jens Palsberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation