Symbolic Model Checking In Statistics