Verifizierungsmethoden für unabhängige Ereignisse