Beweisbar sichere Software

Beweisbar sichere Software

media.ccc.de via YouTube Direct link

Beispiel in Haskell

10 of 17

10 of 17

Beispiel in Haskell

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. 1 Einleitung
  2. 2 Wieso das ganze?
  3. 3 Leuchtturmprojekte: Deep Spec
  4. 4 Leuchtturmprojekte: Project Everest
  5. 5 Beweise und Programme sind verwandt!
  6. 6 Sprachen und Systeme
  7. 7 Übliche Spezifikationen
  8. 8 Index out of bounds!
  9. 9 Beispiel: getNth
  10. 10 Beispiel in Haskell
  11. 11 Fallunterscheidungen
  12. 12 Beweise als Typen
  13. 13 Beispiel in Coq
  14. 14 Unmöglichkeitsbeweis
  15. 15 Beweis durch Fallunterscheidung
  16. 16 Beispiel in Liquid Haskell
  17. 17 Weitere einfache Beispiele

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.