17. TACAS 2011: Saarbrücken, Germany (Part of ETAPS 2011)

Memory Models and Consistency

Invariants and Termination

Timed and Probabilistic Systems

Interpolations and SAT-Solvers

Learning

Model Checking

Games and Automata

Verification (I)

Probabilistic Systems

Verification (II)