4. FMCAD 2002: Portland, Oregon, USA

Abstraction

Symbolic Simulation

Model Checking: Strongly-Connected Components

Microprocessor Specification and Verification

Decision Procedures

Model Checking: Reachability Analysis

Model Checking: Fixed Points

Verification Techniques and Methodology

Hardware Description Languages

Prototyping and Synthesis

maintained by Schloss Dagstuhl LZI at University of Trier