Textbeispiele

• Die Nachbedingung muss nach dem Programmablauf erfüllt sein.
  يجب أن يتم تحقيق الشرط اللاحق بعد تنفيذ البرنامج.
• Falls die Nachbedingung nicht erfüllt ist, tritt ein Fehler auf.
  إذا لم يتم تحقيق الشرط اللاحق، سيحدث خطأ.
• Die Nachbedingung wird zur Verifikation des Programmcodes verwendet.
  يتم استخدام الشرط اللاحق للتحقق من صحة كود البرنامج.
• Eine korrekte Nachbedingung garantiert die korrekte Ausführung des Programms.
  الشرط اللاحق الصحيح يضمن التنفيذ الصحيح للبرنامج.
• Die Nachbedingung ist eine notwendige Voraussetzung für die Programmvalidierung.
  الشرط اللاحق هو شرط ضروري لصحة البرنامج.