Book Volume 8413 2014

Tools and Algorithms for the Construction and Analysis of Systems

20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings


ISBN: 978-3-642-54861-1 (Print) 978-3-642-54862-8 (Online)

Table of contents (55 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Invited Contribution

    1. Chapter

      Pages 1-14

      Variations on Safety

  3. Decision Procedures and Their Application in Analysis

    1. Chapter

      Pages 15-30

      Decision Procedures for Flat Array Properties

    2. Chapter

      Pages 31-45

      SATMC: A SAT-Based Model Checker for Security-Critical Systems

    3. Chapter

      Pages 46-61

      IC3 Modulo Theories via Implicit Predicate Abstraction

    4. Chapter

      Pages 62-77

      SMT-Based Verification of Software Countermeasures against Side-Channel Attacks

    5. Chapter

      Pages 78-92

      Detecting Unrealizable Specifications of Distributed Systems

    6. Chapter

      Pages 93-108

      Synthesizing Safe Bit-Precise Invariants

    7. Chapter

      Pages 109-123

      PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence

    8. Chapter

      Pages 124-139


  4. Complexity and Termination Analysis

    1. Chapter

      Pages 140-155

      Alternating Runtime and Size Complexity Analysis of Integer Programs

    2. Chapter

      Pages 156-171

      Proving Nontermination via Safety

    3. Chapter

      Pages 172-186

      Ranking Templates for Linear Loops

  5. Modeling and Model Checking Discrete Systems

    1. Chapter

      Pages 187-201

      FDR3 — A Modern Refinement Checker for CSP

    2. Chapter

      Pages 202-216

      Concurrent Depth-First Search Algorithms

    3. Chapter

      Pages 217-232

      Basic Problems in Multi-View Modeling

    4. Chapter

      Pages 233-247

      GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs

  6. Timed and Hybrid Systems

    1. Chapter

      Pages 248-262

      Forward Reachability Computation for Autonomous Max-Plus-Linear Systems

    2. Chapter

      Pages 263-278

      Compositional Invariant Generation for Timed Systems

    3. Chapter

      Pages 279-294

      Characterizing Algebraic Invariants by Differential Radical Invariants

    4. Chapter

      Pages 295-309

      Quasi-Equal Clock Reduction: More Networks, More Queries

previous Page of 3