Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

13. CHARME 2005: Saarbrücken, Germany

Refine list

showing all ?? records

Invited Talks

Tutorial

Functional Approaches to Design Description

Game Solving Approaches

Abstraction

Algorithms and Techniques for Speeding (DD-Based) Verification 1

Real Time and LTL Model Checking

Algorithms and Techniques for Speeding Verification 2

Evaluation of SAT-Based Tools

Model Reduction

Verification of Memory Hierarchy Mechanisms

Short Papers