Skip to main content
SpringerLink
Log in

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Armin Biere

    1. Johannes Kepler University Linz, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roderick Bloem

    1. IAIK, Graz University of Technology, Graz, Austria

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

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

Included in the following conference series:

Conference proceedings info: CAV 2014.

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

  1. Model Checking and Testing

    1. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components

      • Anton Wijs, Joost-Pieter Katoen, Dragan Bošnački
      Pages 310-326

    2. Software Verification in the Google App-Engine Cloud

      • Dirk Beyer, Georg Dresler, Philipp Wendler
      Pages 327-333

    3. The nuXmv Symbolic Model Checker

      • Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli et al.
      Pages 334-342

  2. Biology and Hybrid Systems

    1. Analyzing and Synthesizing Genomic Logic Functions

      • Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
      Pages 343-357

    2. Finding Instability in Biological Models

      • Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
      Pages 358-372

    3. Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells

      • Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Kwiatkowska
      Pages 373-390

    4. Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

      • Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
      Pages 391-406

    5. Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections

      • Willem Hagemann
      Pages 407-423

    6. Verifying LTL Properties of Hybrid Systems with K-Liveness

      • Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
      Pages 424-440

  3. Games and Synthesis

    1. Safraless Synthesis for Epistemic Temporal Specifications

      • Rodica Bozianu, Cătălin Dima, Emmanuel Filiot
      Pages 441-456

    2. Minimizing Running Costs in Consumption Systems

      • Tomáš Brázdil, David Klaška, Antonín Kučera, Petr Novotný
      Pages 457-472

    3. CEGAR for Qualitative Analysis of Probabilistic Systems

      • Krishnendu Chatterjee, Martin Chmelík, Przemysław Daca
      Pages 473-490

    4. Optimal Guard Synthesis for Memory Safety

      • Thomas Dillig, Isil Dillig, Swarat Chaudhuri
      Pages 491-507

    5. Don’t Sit on the Fence

      • Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
      Pages 508-524

    6. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications

      • Petr Čermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
      Pages 525-532

    7. Solving Games without Controllable Predecessor

      • Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
      Pages 533-540

    8. G4LTL-ST: Automatic Generation of PLC Programs

      • Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
      Pages 541-549

  4. Concurrency

    1. Automatic Atomicity Verification for Clients of Concurrent Data Structures

      • Mohsen Lesani, Todd Millstein, Jens Palsberg
      Pages 550-567

    2. Regression-Free Synthesis for Concurrency

      • Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
      Pages 568-584

    3. Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization

      • Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
      Pages 585-602
Back to top

Other volumes

  1. Computer Aided Verification

Keywords

About this book

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

Editors and Affiliations

  • Johannes Kepler University Linz, Linz, Austria

    Armin Biere

  • IAIK, Graz University of Technology, Graz, Austria

    Roderick Bloem

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation