Book Volume 9780 2016

Computer Aided Verification

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

Editors:

ISBN: 978-3-319-41539-0 (Print) 978-3-319-41540-6 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XVII

  2. Verification in Practice

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-22

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

    3. No Access

      Chapter

      Pages 23-41

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

    4. No Access

      Chapter

      Pages 42-58

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

    5. No Access

      Chapter

      Pages 59-79

      A Practical Verification Framework for Preemptive OS Kernels

    6. No Access

      Chapter

      Pages 80-87

      Probabilistic Automated Language Learning for Configuration Files

  3. Concurrency

    1. Front Matter

      Pages 89-89

    2. No Access

      Chapter

      Pages 91-111

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

    3. No Access

      Chapter

      Pages 112-133

      Liveness of Randomised Parameterised Systems under Arbitrary Schedulers

    4. No Access

      Chapter

      Pages 134-156

      Stateless Model Checking for POWER

    5. No Access

      Chapter

      Pages 157-176

      Hitting Families of Schedules for Asynchronous Programs

    6. No Access

      Chapter

      Pages 177-183

      ParCoSS: Efficient Parallelized Compiled Symbolic Simulation

  4. Constraint Solving II

    1. Front Matter

      Pages 185-185

    2. No Access

      Chapter

      Pages 187-209

      XSat: A Fast Floating-Point Satisfiability Solver

    3. No Access

      Chapter

      Pages 210-229

      Effectively Propositional Interpolants

    4. No Access

      Chapter

      Pages 230-248

      Array Folds Logic

  5. Automata and Games

    1. Front Matter

      Pages 249-249

    2. No Access

      Chapter

      Pages 251-269

      Compositional Synthesis of Reactive Controllers for Multi-agent Systems

    3. No Access

      Chapter

      Pages 270-290

      Solving Parity Games via Priority Promotion

    4. No Access

      Chapter

      Pages 291-311

      A Simple Algorithm for Solving Qualitative Probabilistic Parity Games

    5. No Access

      Chapter

      Pages 312-332

      Limit-Deterministic Büchi Automata for Linear Temporal Logic

    6. No Access

      Chapter

      Pages 333-339

      Slugs: Extensible GR(1) Synthesis

  6. Synthesis II

    1. Front Matter

      Pages 341-341

    2. No Access

      Chapter

      Pages 343-363

      Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits

    3. No Access

      Chapter

      Pages 364-382

      A SAT-Based Counterexample Guided Method for Unbounded Synthesis

previous Page of 2