Haskell-Intensivkurs pp 233-244

Part of the Xpert.press book series (XPERT.PRESS)

Programme verifizieren und testen

  • Marco Block-Berlitz
  • Adrian Neumann
Chapter

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.

Copyright information

© Springer Berlin Heidelberg 2011

Authors and Affiliations

  • Marco Block-Berlitz
  • Adrian Neumann
    • 1
  1. 1.Universität des SaarlandesSaarbrückenDeutschland

Personalised recommendations