14. TACAS 2008: Budapest, Hungary (Part of ETAPS 2008)

Invited Talk

Parameterized Systems

Model Checking - I

Applications

Model Checking - II

Static Analysis

Concurrent/Distributed Systems

Tools - I

Symbolic Execution

Abstraction, Interpolation

Tools - II

Trust, Reputation