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

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