אנגלית ⇄ גרמנית +

top-down verification
.מיקרו	Prüfung von oben nach unten (in der Folge der Nachweisebenen eines Ablaufdiagramms)