Skip to main content
SpringerLink
Log in
Book cover

Computer Aided Verification

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Swarat Chaudhuri

    1. Rice University , Houston, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Azadeh Farzan

    1. University of Toronto , Toronto, Canada

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

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 (USA)
  • Available as EPUB and 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 (29 papers)

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  2. Verification in Practice

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Model Checking at Scale: Automated Air Traffic Control Design Space Exploration

      • Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier
      Pages 3-22

    3. Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers

      • Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst et al.
      Pages 23-41

    4. End-to-End Verification of Processors with ISA-Formal

      • Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen et al.
      Pages 42-58

    5. A Practical Verification Framework for Preemptive OS Kernels

      • Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li
      Pages 59-79

    6. Probabilistic Automated Language Learning for Configuration Files

      • Mark Santolucito, Ennan Zhai, Ruzica Piskac
      Pages 80-87

  3. Concurrency

    1. Front Matter

      Pages 89-89
      Download chapter PDF

    2. The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach

      • Yu-Fang Chen, Lei Song, Zhilin Wu
      Pages 91-111

    3. Liveness of Randomised Parameterised Systems under Arbitrary Schedulers

      • Anthony W. Lin, Philipp Rümmer
      Pages 112-133

    4. Stateless Model Checking for POWER

      • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson
      Pages 134-156

    5. Hitting Families of Schedules for Asynchronous Programs

      • Dmitry Chistikov, Rupak Majumdar, Filip Niksic
      Pages 157-176

    6. ParCoSS: Efficient Parallelized Compiled Symbolic Simulation

      • Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
      Pages 177-183

  4. Constraint Solving II

    1. Front Matter

      Pages 185-185
      Download chapter PDF

    2. XSat: A Fast Floating-Point Satisfiability Solver

      • Zhoulai Fu, Zhendong Su
      Pages 187-209

    3. Effectively Propositional Interpolants

      • Samuel Drews, Aws Albarghouthi
      Pages 210-229

    4. Array Folds Logic

      • PrzemysÅ‚aw Daca, Thomas A. Henzinger, Andrey Kupriyanov
      Pages 230-248

  5. Automata and Games

    1. Front Matter

      Pages 249-249
      Download chapter PDF

    2. Compositional Synthesis of Reactive Controllers for Multi-agent Systems

      • Rajeev Alur, Salar Moarref, Ufuk Topcu
      Pages 251-269

    3. Solving Parity Games via Priority Promotion

      • Massimo Benerecetti, Daniele Dell’Erba, Fabio Mogavero
      Pages 270-290
Back to top

Other volumes

  1. Computer Aided Verification

  2. Computer Aided Verification

Keywords

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.

Editors and Affiliations

  • Rice University , Houston, USA

    Swarat Chaudhuri

  • University of Toronto , Toronto, Canada

    Azadeh Farzan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation