Skip to main content
Springer Nature Link
Log in

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Swarat Chaudhuri

    1. Rice University , Houston, USA

  2. Azadeh Farzan

    1. University of Toronto , Toronto, Canada

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9779)

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

Included in the following conference series:

Conference proceedings info: CAV 2016.

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 (Canada)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • 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

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.

The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.



Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (29 papers)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  2. Probabilistic Systems

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Termination Analysis of Probabilistic Programs Through Positivstellensatz’s

      • Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady
      Pages 3-22

    3. Markov Chains and Unambiguous Büchi Automata

      • Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
      Pages 23-42

    4. Synthesizing Probabilistic Invariants via Doob’s Decomposition

      • Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu
      Pages 43-61

    5. PSI: Exact Symbolic Inference for Probabilistic Programs

      • Timon Gehr, Sasa Misailovic, Martin Vechev
      Pages 62-83

    6. PSCV: A Runtime Verification Tool for Probabilistic SystemC Models

      • Van Chan Ngo, Axel Legay, Vania Joloboff
      Pages 84-91

  3. Synthesis I

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Structural Synthesis for GXW Specifications

      • Chih-Hong Cheng, Yassine Hamza, Harald Ruess
      Pages 95-117

    3. Bounded Cycle Synthesis

      • Bernd Finkbeiner, Felix Klein
      Pages 118-135

    4. Fast, Flexible, and Minimal CTL Synthesis via SMT

      • Tobias Klenze, Sam Bayless, Alan J. Hu
      Pages 136-156

    5. Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems

      • Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs
      Pages 157-176

  4. Constraint Solving I

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. A Decision Procedure for Sets, Binary Relations and Partial Functions

      • Maximiliano Cristiá, Gianfranco Rossi
      Pages 179-198

    3. Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories

      • Aina Niemetz, Mathias Preiner, Armin Biere
      Pages 199-217

    4. Progressive Reasoning over Recursively-Defined Strings

      • Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar
      Pages 218-240

    5. String Analysis via Automata Manipulation with Logic Circuit Representation

      • Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang
      Pages 241-260

    6. Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata

      • Bishoksan Kafle, John P. Gallagher, José F. Morales
      Pages 261-268

  5. Model Checking I

    1. Front Matter

      Pages 269-269
      Download chapter PDF

    2. Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations

      • Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover
      Pages 271-291
Back to top

Other volumes

  1. Computer Aided Verification

  2. Computer Aided Verification

Editors and Affiliations

  • Rice University , Houston, USA

    Swarat Chaudhuri

  • University of Toronto , Toronto, Canada

    Azadeh Farzan

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top