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

出版时间：2005-10  出版社：1 (2005年10月26日)  作者：Doron A. Peled  页数：506  

内容概要

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.

书籍目录

Keynote Speeches  Ranking Abstraction as a Companion to Predicate Abstraction  Termination and Invariance Analysis of Loops  Some Perspectives of Infinite-State VerificationModel 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 VerificationCombined Methods  An Approach for the Verification of SystemC Designs Using AsmL  Decomposition-Based Verification of Cyclic WorkflowsTimed, 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 SystemsAbstraction 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 ReductionsDecidability 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 StandardsCompostional Verification and GamesTimed,Embedded,and Hybrid Systems(II)Protocols Analysis,Case Studies,and ToolsInfintie-State and Parameterized SystemsAuthor Index