Skip to main content
  • Conference proceedings
  • © 2014

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

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)

Conference series link(s): CAV: International Conference on Computer Aided Verification

Conference proceedings info: CAV 2014.

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-08867-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

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-326Open Access
    2. Software Verification in the Google App-Engine Cloud

      • Dirk Beyer, Georg Dresler, Philipp Wendler
      Pages 327-333Open Access
    3. The nuXmv Symbolic Model Checker

      • Roberto Cavada, Alessandro Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli et al.
      Pages 334-342Open Access
  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-357Open Access
    2. Finding Instability in Biological Models

      • Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman
      Pages 358-372Open Access
    3. Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells

      • Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Kwiatkowska
      Pages 373-390Open Access
    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-406Open Access
    5. Verifying LTL Properties of Hybrid Systems with K-Liveness

      • Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta
      Pages 424-440Open Access
  3. Games and Synthesis

    1. Safraless Synthesis for Epistemic Temporal Specifications

      • Rodica Bozianu, Cătălin Dima, Emmanuel Filiot
      Pages 441-456Open Access
    2. Minimizing Running Costs in Consumption Systems

      • Tomáš Brázdil, David Klaška, Antonín Kučera, Petr Novotný
      Pages 457-472Open Access
    3. CEGAR for Qualitative Analysis of Probabilistic Systems

      • Krishnendu Chatterjee, Martin Chmelík, Przemysław Daca
      Pages 473-490Open Access
    4. Optimal Guard Synthesis for Memory Safety

      • Thomas Dillig, Isil Dillig, Swarat Chaudhuri
      Pages 491-507Open Access
    5. Don’t Sit on the Fence

      • Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
      Pages 508-524Open Access
    6. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications

      • Petr Čermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
      Pages 525-532Open Access
    7. Solving Games without Controllable Predecessor

      • Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
      Pages 533-540Open Access
    8. G4LTL-ST: Automatic Generation of PLC Programs

      • Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
      Pages 541-549Open Access
  4. Concurrency

    1. Automatic Atomicity Verification for Clients of Concurrent Data Structures

      • Mohsen Lesani, Todd Millstein, Jens Palsberg
      Pages 550-567Open Access
    2. Regression-Free Synthesis for Concurrency

      • Pavol Černý, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach
      Pages 568-584Open Access
    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-602Open Access

Other Volumes

  1. 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

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.

Keywords

  • artificial intelligence
  • concurrency
  • formal languages and automata theory
  • formal methods
  • formal methods and theory of security
  • formal software verification
  • hardware verification and validation
  • logic
  • logic and verification
  • model checking
  • program reasoning
  • semantics and reasoning
  • software engineering
  • software functional properties
  • software verification and validation
  • solvers
  • theorem proving
  • verification by model checking

Editors and Affiliations

  • Johannes Kepler University Linz, Linz, Austria

    Armin Biere

  • IAIK, Graz University of Technology, Graz, Austria

    Roderick Bloem

Bibliographic Information

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-319-08867-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.99
Price excludes VAT (USA)