Chapter

Haskell-Intensivkurs

Part of the series Xpert.press pp 233-244

Date:

Programme verifizieren und testen

  • Marco Block-Berlitz
  • , Adrian NeumannAffiliated withUniversität des Saarlandes

* Final gross prices may vary according to local VAT.

Get Access

Zusammenfassung

Bisher haben wir uns von der Richtigkeit unserer Programme durch Ausprobieren und scharfes Hinsehen überzeugt. Das hat ganz gut funktioniert, aber wirklich sicher konnten wir uns nie sein, dass wir nicht etwas übersehen haben.

In diesem Kapitel lernen wir, wie sich mathematische Beweise zur Verifikation von Programmen führen lassen.