6. SEFM 2008: Cape Town, South Africa

Tutorial

Keynote Speaker 1

Abstract Interpretation

Model Checking

Verification of Embedded Systems

Security

Testing I

Testing II

Keynote Speaker 2

Aspect-Oriented Development

Requirement and Program Analysis

Tool Papers

Coordination Languages

Communication, Mobile and Interactive Systems

Short Papers