9th MEMOCODE 2011: Cambridge, UK

Session 1: Modeling and Implementation of Software-Hardware Systems

Session 2: Synthesis Techniques

Session 3: Transformation and Refinement Techniques

Design Contest

Invited Talk 2

Session 4: Verification Problems

Invited Tutorial 2

Invited Tutorial 3

Invited Talk 3

Session 5: Verification and Simulation Techniques

Session 6: Testing, Debug, and Assertion-based Validation

a service of Schloss Dagstuhl - Leibniz Center for Informatics