Title: Faktorisierungslösungen für die Workload in Bediensystemen mit Ergebnisverifikation