Completed
Leuchtturmprojekte: Project Everest
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