A New Scheme for Memory-Efficient Probabilistic Verification