Automated Technology for Verification and Analysis

6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

ISBN: 978-3-540-88386-9 (Print) 978-3-540-88387-6 (Online)

Table of contents (36 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-2

      Tests, Proofs and Refinements

    2. No Access

      Book Chapter

      Pages 3-3

      Formal Verification and Biology

    3. No Access

      Book Chapter

      Pages 4-17

      Trust and Automation in Verification Tools

  3. Model Checking

    1. No Access

      Book Chapter

      Pages 18-32

      CTL Model-Checking with Graded Quantifiers

    2. No Access

      Book Chapter

      Pages 33-47

      Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

    3. No Access

      Book Chapter

      Pages 48-63

      Computation Tree Regular Logic for Genetic Regulatory Networks

    4. No Access

      Book Chapter

      Pages 64-79

      Compositional Verification for Component-Based Systems and Application

    5. No Access

      Book Chapter

      Pages 80-94

      A Direct Algorithm for Multi-valued Bounded Model Checking

  4. Software Verification

    1. No Access

      Book Chapter

      Pages 95-110

      Model Checking Recursive Programs with Exact Predicate Abstraction

    2. No Access

      Book Chapter

      Pages 111-125

      Loop Summarization Using Abstract Transformers

    3. No Access

      Book Chapter

      Pages 126-140

      Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

  5. Decision Procedures

    1. No Access

      Book Chapter

      Pages 141-155

      Automating Algebraic Specifications of Non-freely Generated Data Types

    2. No Access

      Book Chapter

      Pages 156-170

      Interpolants for Linear Arithmetic in SMT

    3. No Access

      Book Chapter

      Pages 171-185

      SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

    4. No Access

      Book Chapter

      Pages 186-200

      SMELS: Satisfiability Modulo Equality with Lazy Superposition

  6. Linear-Time Analysis

    1. No Access

      Book Chapter

      Pages 201-215

      Controllable Test Cases for the Distributed Test Architecture

  7. Tool Demonstration Papers

    1. No Access

      Book Chapter

      Pages 216-221

      Goanna: Syntactic Software Model Checking

    2. No Access

      Book Chapter

      Pages 222-227

      A Dynamic Assertion-Based Verification Platform for Validation of UML Designs

    3. No Access

      Book Chapter

      Pages 228-233

      CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications

    4. No Access

      Book Chapter

      Pages 234-239

      DiVinE Multi-Core – A Parallel LTL Model-Checker

previous Page of 2