24th CAV 2012: Berkeley, CA, USA

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics