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

Editors:

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. No Access

      Book Chapter

      Pages 1-14

      Variations on Safety

  3. Decision Procedures and Their Application in Analysis

    1. No Access

      Book Chapter

      Pages 15-30

      Decision Procedures for Flat Array Properties

    2. No Access

      Book Chapter

      Pages 31-45

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

    3. No Access

      Book Chapter

      Pages 46-61

      IC3 Modulo Theories via Implicit Predicate Abstraction

    4. No Access

      Book Chapter

      Pages 62-77

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

    5. No Access

      Book Chapter

      Pages 78-92

      Detecting Unrealizable Specifications of Distributed Systems

    6. No Access

      Book Chapter

      Pages 93-108

      Synthesizing Safe Bit-Precise Invariants

    7. No Access

      Book Chapter

      Pages 109-123

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

    8. No Access

      Book Chapter

      Pages 124-139

      GRASShopper

  4. Complexity and Termination Analysis

    1. No Access

      Book Chapter

      Pages 140-155

      Alternating Runtime and Size Complexity Analysis of Integer Programs

    2. No Access

      Book Chapter

      Pages 156-171

      Proving Nontermination via Safety

    3. No Access

      Book Chapter

      Pages 172-186

      Ranking Templates for Linear Loops

  5. Modeling and Model Checking Discrete Systems

    1. No Access

      Book Chapter

      Pages 187-201

      FDR3 — A Modern Refinement Checker for CSP

    2. No Access

      Book Chapter

      Pages 202-216

      Concurrent Depth-First Search Algorithms

    3. No Access

      Book Chapter

      Pages 217-232

      Basic Problems in Multi-View Modeling

    4. No Access

      Book Chapter

      Pages 233-247

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

  6. Timed and Hybrid Systems

    1. No Access

      Book Chapter

      Pages 248-262

      Forward Reachability Computation for Autonomous Max-Plus-Linear Systems

    2. No Access

      Book Chapter

      Pages 263-278

      Compositional Invariant Generation for Timed Systems

    3. No Access

      Book Chapter

      Pages 279-294

      Characterizing Algebraic Invariants by Differential Radical Invariants

    4. No Access

      Book Chapter

      Pages 295-309

      Quasi-Equal Clock Reduction: More Networks, More Queries

previous Page of 3