Formale Methode

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche
Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen (beispielsweise Einzelnachweisen) ausgestattet. Die fraglichen Angaben werden daher möglicherweise demnächst entfernt. Bitte hilf der Wikipedia, indem du die Angaben recherchierst und gute Belege einfügst. Näheres ist eventuell auf der Diskussionsseite oder in der Versionsgeschichte angegeben. Bitte entferne zuletzt diese Warnmarkierung.

In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zum Modellieren und zur rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik.

Die Rolle von Formalen Methoden in der Softwaretechnik und in der industriellen Praxis nicht weit verbreitet, wird jedoch in sicherheitskritischen Bereichen angewandt um Fehlerfreiheit zu beweisen.

Siehe auch[Bearbeiten]

Weblinks[Bearbeiten]

 Peter Padawitz: Formale Methoden des Systementwurfs. Dortmund 2010 (Vorlesungsskript, http://fldit-www.cs.uni-dortmund.de/~peter/TdP96.pdf).