Skip to main content
main-content

Über dieses Buch

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.

Inhaltsverzeichnis

Frontmatter

2018 | OriginalPaper | Buchkapitel

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger

2018 | OriginalPaper | Buchkapitel

Gradual Program Verification

Johannes Bader, Jonathan Aldrich, Éric Tanter

2018 | OriginalPaper | Buchkapitel

Automatic Verification of RMA Programs via Abstraction Extrapolation

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin Vechev

2018 | OriginalPaper | Buchkapitel

Scalable Approximation of Quantitative Information Flow in Programs

Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf

2018 | OriginalPaper | Buchkapitel

Code Obfuscation Against Abstract Model Checking Attacks

Roberto Bruni, Roberto Giacobazzi, Roberta Gori

2018 | OriginalPaper | Buchkapitel

Abstract Code Injection

A Semantic Approach Based on Abstract Non-Interference
Samuele Buro, Isabella Mastroeni

2018 | OriginalPaper | Buchkapitel

A Framework for Computer-Aided Design of Educational Domain Models

Eric Butler, Emina Torlak, Zoran Popović

2018 | OriginalPaper | Buchkapitel

Automatic Verification of Intermittent Systems

Manjeet Dahiya, Sorav Bansal

2018 | OriginalPaper | Buchkapitel

On abstraction and compositionality for weak-memory linearisability

Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong

2018 | OriginalPaper | Buchkapitel

From Shapes to Amortized Complexity

Tomáš Fiedor, Lukáš Holík, Adam Rogalewicz, Moritz Sinn, Tomáš Vojnar, Florian Zuleger

2018 | OriginalPaper | Buchkapitel

Invariant Generation for Multi-Path Loops with Polynomial Assignments

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

2018 | OriginalPaper | Buchkapitel

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

Swen Jacobs, Mouhammad Sakr

2018 | OriginalPaper | Buchkapitel

Refinement Types for Ruby

Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak

2018 | OriginalPaper | Buchkapitel

Modular Analysis of Executables Using On-Demand Heyting Completion

Julian Kranz, Axel Simon

2018 | OriginalPaper | Buchkapitel

Learning to Complement Büchi Automata

Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe

2018 | OriginalPaper | Buchkapitel

: Planner-less Proofs of Probabilistic Parameterized Protocols

Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf

2018 | OriginalPaper | Buchkapitel

Co-Design and Verification of an Available File System

Mahsa Najafzadeh, Marc Shapiro, Patrick Eugster

2018 | OriginalPaper | Buchkapitel

Abstraction-Based Interaction Model for Synthesis

Hila Peleg, Shachar Itzhaky, Sharon Shoham

2018 | OriginalPaper | Buchkapitel

Generating Tests by Example

Hila Peleg, Dan Rasin, Eran Yahav

2018 | OriginalPaper | Buchkapitel

A Logical System for Modular Information Flow Verification

Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin

2018 | OriginalPaper | Buchkapitel

On Constructivity of Galois Connections

Francesco Ranzato

2018 | OriginalPaper | Buchkapitel

Revisiting MITL to Fix Decision Procedures

Nima Roohi, Mahesh Viswanathan

2018 | OriginalPaper | Buchkapitel

Selfless Interpolation for Infinite-State Model Checking

Tanja Schindler, Dejan Jovanović

2018 | OriginalPaper | Buchkapitel

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Laura Titolo, Marco A. Feliú, Mariano Moscato, César A. Muñoz

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise