Automated Technology for Verification and Analysis2004年第2届国际验证与分析的自动化技术会议录

书籍目录

Keynote Speeches

  Ranking Abstraction as a Companion to Predicate Abstraction

  Termination and Invariance Analysis of Loops

  Some Perspectives of Infinite-State Verification

Model Checking

  Verifying Very Large Industrial Circuits Using 100 Processes and Beyond

  A New Reachability Algorithm for Symmetric Multi-processor Architecture

  Comprehensive Verification Framework for Dependability of Self-optimizing Systems

  Exploiting Hub States in Automatic Verification

Combined Methods

  An Approach for the Verification of SystemC Designs Using AsmL

  Decomposition-Based Verification of Cyclic Workflows

Timed, Embedded, and Hybrid Systems (I)

  Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems

  Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

  Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities

  Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems

Abstraction and Reduction Techniques

  Selective Search in Bounded Model Checking of Reachability Properties

  Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming

  State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method

  Syntactical Colored Petri Nets Reductions

Decidability and Complexity

  Algorithmic Algebraic Model Checking Ih Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

  A Static Analysis Using Tree Automata for XML Access Control

  ……

Established Formalisms and Standards

Compostional Verification and Games

Timed,Embedded,and Hybrid Systems(II)

Protocols Analysis,Case Studies,and Tools

Infintie-State and Parameterized Systems

Author Index

作者简介

This book constitutes the refereed proceedings of the Third International Conference on Automated Technology for Verificaton and Analysis, ATVA 2005, held in Taipei, Taiwan, in October 2005. The 33 revised full papers presented together with abstracts of 3 keynote papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on model checking, combined methods, timed, embedded, and hybrid systems, abstraction and reduction techniques, decidability and complexity, established formalisms and standards, compositional verification and games, protocols analysis, case studies, and tools, and infinite-state and parameterized systems.

 Automated Technology for Verification and Analysis2004年第2届国际验证与分析的自动化技术会议录下载