21. The one or more computer-readable storage media of claim 15 , further comprising instructions to sample a distribution from the intermediate representation to estimate a probability using acceptance sampling to bound errors in verification.
21. The one or more computer-readable storage media of claim 15 , further comprising instructions to sample a distribution from the intermediate representation to estimate a probability using acceptance sampling to bound errors in verification. 22. The one or more computer-readable storage media of claim 21 , further comprising instructions to determine whether a threshold number of samples have been taken using a sequential analysis technique.