Deductive Software Verification 2016

Foundations

Specification and Verification

From Verification to Analysis

The KeY System in Action

Case Studies

a service of Schloss Dagstuhl - Leibniz Center for Informatics