14. VMCAI 2013: Rome, Italy

Refine list

showing all ?? records

Invited Talks

Session 1: Analysis of Systems with Continuous Behavior

Session 2: Synthesis

Session 3: Analysis Algorithms and Theorem Proving Techniques for Program Analysis

Session 4: Automata-Based Techniques

Session 5: Tools

Session 6: Types and Proof Methodologies

Session 7: Abstract Domains

Session 8: Combining Boolean Solving and Abstract Domains for Theories

Session 9: Distributed/Concurrent System Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics