7
Wie können wir wissen, dass formale Methoden funktionieren?
Ein wichtiges Ziel formaler Methoden ist es, die Korrektheit von Systemen entweder automatisiert oder durch den Menschen zu beweisen. Es scheint jedoch, dass Sie möglicherweise NICHT garantieren können, dass das System nicht ausfällt, auch wenn Sie einen Korrektheitsnachweis erbringen können. Beispielsweise: Die Spezifikation modelliert das System möglicherweise nicht richtig, oder …