Zeitschriftenartikel
Turing und die Verifikation
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Datum
2012
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Informatik-Spektrum: Vol. 35, No. 4
Verlag
Springer-Verlag
Zusammenfassung
Ausgehend von Turings 1949 gehaltenem Vortrag ,,Checking a Large Routine“ untersuchen wir, welche seiner Ideen zur Verifikation von Programmen sich durchgesetzt haben, und skizzieren, wie sich das Gebiet der Verifikation seitdem bis heute weiterentwickelt hat.