Inhaltsverzeichnis

Verifikation von C-Programmen

Willkommen auf der Heimatseite der Lehrveranstaltung „Verifikation von C-Programmen 3“ im Wintersemester 2014/2015.

Literatür

Der C-Standard (von , nicht die offiziellen Standards, aber der letzte öffentliche Entwurf und für unsere Zwecke ausreichend Annäherung):

ISO/IEC 9899:1999 mit Korrekturen;
ISO/IEC 9899:2011