6. VSTTE 2014: Vienna, Austria

Analysis: Understanding and Explanation

Verification Frameworks and Applications

Hypervisors and Dynamic Data Structures

Certification

Real Time and Security

a service of Schloss Dagstuhl - Leibniz Center for Informatics