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

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