18th TACAS 2012: Tallinn, Estonia (Part of ETAPS 2012)

Refine list

showing all ?? records

Invited Contribution

SAT and SMT Based Methods

Automata

Model Checking

Case Studies

Memory Models and Termination

Internet Protocol Verification

Stochastic Model Checking

Synthesis

Provers and Analysis Techniques

Tool Demonstrations

Competition on Software Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics