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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Berlin Heidelberg
About this chapter
Cite this chapter
Block-Berlitz, M., Neumann, A. (2011). Programme verifizieren und testen. In: Haskell-Intensivkurs. Xpert.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04718-3_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-04718-3_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04717-6
Online ISBN: 978-3-642-04718-3
eBook Packages: Computer Science and Engineering (German Language)