Verifizierungsmethode der statistischen Eigenschaften stationärer Prozesse