12th FMCAD 2012: Cambridge, UK



Concurrent Software Verification

SAT and Model Checking Algorithms

Machine Code and Memory Verification

Formal Methods for Synthesis, Test and Debug

Software and Behavioural Hardware Verification

Formal Verification Techniques for Arithmetic Circuits and GPUs

Automated Abstraction/Reduction Techniques

Invited Talk

Solver Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics