Dynamic Array Verification Peruri