Besonderhede van voorbeeld: 9222449502109216026

German

Schritt 2: Auf jedem Pfad α überprüft N deterministisch, ob s α tatsächlich φ erfüllt.

English

Step 2: On each path α, N checks deterministically whether sα indeed satisfies φ.