Book Volume 8172 2013

Automated Technology for Verification and Analysis

11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings


ISBN: 978-3-319-02443-1 (Print) 978-3-319-02444-8 (Online)

Table of contents (45 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Invited Papers

    1. Chapter

      Pages 1-4

      Acceleration for Petri Nets

    2. Chapter

      Pages 5-22

      Automated Verification and Strategy Synthesis for Probabilistic Systems

    3. Chapter

      Pages 23-23

      SMT-Based Software Model Checking

  3. Regular Papers

    1. Chapter

      Pages 24-39

      Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment

    2. Chapter

      Pages 40-54

      Improved Upper and Lower Bounds for Büchi Disambiguation

    3. Chapter

      Pages 55-70

      Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points

    4. Chapter

      Pages 71-86

      An Automatic Technique for Checking the Simulation of Timed Systems

    5. Chapter

      Pages 87-101

      Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

    6. Chapter

      Pages 102-117

      Kleene Algebras and Semimodules for Energy Problems

    7. Chapter

      Pages 118-132

      Looking at Mean-Payoff and Total-Payoff through Windows

    8. Chapter

      Pages 133-147

      Weighted Safety

    9. Chapter

      Pages 148-162

      A Framework for Ranking Vacuity Results

    10. Chapter

      Pages 163-177

      Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

    11. Chapter

      Pages 178-192

      Verification of a Dynamic Management Protocol for Cloud Applications

    12. Chapter

      Pages 193-207

      Compact Symbolic Execution

    13. Chapter

      Pages 208-223

      Multi-threaded Explicit State Space Exploration with State Reconstruction

    14. Chapter

      Pages 224-239

      Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata

    15. Chapter

      Pages 240-254

      Integrating Policy Iterations in Abstract Interpreters

    16. Chapter

      Pages 255-271

      Interpolation Properties and SAT-Based Model Checking

    17. Chapter

      Pages 272-286

      Analysis of Message Passing Programs Using SMT-Solvers

previous Page of 3