Verification Procedure: Stationary