Die aktuelle Frage nach der Zuverlässigkeit von programmgestützten Maschinen verlangt in gewissen hochsensiblen Anwendungsbereichen, wie beispielsweise der Notfallmedizin oder dem Betrieb von Kraftwerken, möglichst präzise Antworten. In diesem Buch wird das Spektrum der Verfahren untersucht, die in der Informatik für diesen Zweck entwickelt und vorgeschlagen werden. Im Verlauf der Untersuchung, die von Spezifikationen und Beweisen über Programmtests zur Bewertung verschiedener auf Statistik basierender Verfahren fortschreitet, wird die These erhärtet, dass das menschliche Verständnis und damit die Möglichkeit zu individueller Übernahme von Verantwortung das Erfolgskriterium solcher Verfahren ist, und zwar sowohl aus theoretischen als auch aus praktischen Gründen.