A Probabilistic Approach to Automatic Formal Verification