Turing und die Verifikation
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.
- Vollständige Referenz
- BibTeX
Olderog, E.-R. & Wilhelm, R.,
(2012).
Turing und die Verifikation.
Informatik-Spektrum: Vol. 35, No. 4.
Berlin Heidelberg:
Springer-Verlag.
(S. 271-279).
DOI: 10.1007/s00287-012-0627-2
@article{mci/Olderog2012,
author = {Olderog, Ernst-Rüdiger AND Wilhelm, Reinhard},
title = {Turing und die Verifikation},
journal = {Informatik-Spektrum},
volume = {35},
number = {4},
year = {2012},
,
pages = { 271-279 } ,
doi = { 10.1007/s00287-012-0627-2 }
}
author = {Olderog, Ernst-Rüdiger AND Wilhelm, Reinhard},
title = {Turing und die Verifikation},
journal = {Informatik-Spektrum},
volume = {35},
number = {4},
year = {2012},
,
pages = { 271-279 } ,
doi = { 10.1007/s00287-012-0627-2 }
}
Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s00287-012-0627-2
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISSN: 1432-122X
Datum: 2012
Typ: Text/Journal Article