24th CAV 2012: Berkeley, CA, USA

Invited Talks

Invited Tutorials

Automata and Synthesis

Inductive Inference and Termination


Concurrency and Software Verification

Biology and Probabilistic Systems

Embedded and Control Systems

SAT/SMT Solving and SMT-based Verification

Timed and Hybrid Systems

Hardware Verification


Verification and Synthesis

Tool Demonstration Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics