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

Refine list

showing all ?? records

Invited Contribution

SAT and SMT Based Methods


Model Checking

Case Studies

Memory Models and Termination

Internet Protocol Verification

Stochastic Model Checking


Provers and Analysis Techniques

Tool Demonstrations

Competition on Software Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics