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
· · · · · · (收起)