SafeOperations

TransformDestinationConstraintSafeOperation

Realisierung des Hoare-Kalküls Beispiele: Absicherung maximale String-Länge Vermeidung int-Überlauf Vermeidung Division durch 0 Schleifen-Invariante (alle Beispiele sind im Download-Zip enthalten)
Anfang weiter