24. CAV 2012: Berkeley, CA, USA

Invited Talks

Invited Tutorials

Automata and Synthesis

Inductive Inference and Termination

Abstraction

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

Security

Verification and Synthesis

Tool Demonstration Papers

maintained by Schloss Dagstuhl LZI at University of Trier