Advertisement

Semantik, Verifikation und Test

  • Hans-Jürgen Appelrath
  • Jochen Ludewig
Chapter
  • 15 Downloads

Zusammenfassung

Eines der zentralen Probleme der Informatik besteht darin sicherzustellen, daß ein Programm genau das bewirkt, was beabsichtigt war. Allgemein ist dieses Problem algorithmisch nicht lösbar; bis heute ist auch kein Verfahren bekannt, um Software realistischer Komplexität garantiert fehlerfrei zu konstruieren.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Stuttgart 1995

Authors and Affiliations

  • Hans-Jürgen Appelrath
    • 1
  • Jochen Ludewig
    • 2
  1. 1.Universität OldenburgDeutschland
  2. 2.Universität StuttgartDeutschland

Personalised recommendations