Induktive Zusicherung Programmbeweistechnik. Mit Zusicherungen werden Programmeingaben, Programmergebnisse und Zwischenzustände beschrieben. Mit Theoremen werden schrittweise aus den Eingabebedingungen die Ausgabebedingungen abgeleitet.
Gefunden auf https://www.enzyklo.de/Lokal/40006
Induktive Zusicherung Programmbeweistechnik. Mit Zusicherungen werden Programmeingaben, Programmergebnisse und Zwischenzustände beschrieben. Mit Theoremen werden schrittweise aus den Eingabebedingungen die Ausgabebedingungen abgeleitet.