Completed
Beweise als Typen
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Beweisbar sichere Software
Automatically move to the next video in the Classroom when playback concludes
- 1 Einleitung
- 2 Wieso das ganze?
- 3 Leuchtturmprojekte: Deep Spec
- 4 Leuchtturmprojekte: Project Everest
- 5 Beweise und Programme sind verwandt!
- 6 Sprachen und Systeme
- 7 Übliche Spezifikationen
- 8 Index out of bounds!
- 9 Beispiel: getNth
- 10 Beispiel in Haskell
- 11 Fallunterscheidungen
- 12 Beweise als Typen
- 13 Beispiel in Coq
- 14 Unmöglichkeitsbeweis
- 15 Beweis durch Fallunterscheidung
- 16 Beispiel in Liquid Haskell
- 17 Weitere einfache Beispiele
