Program Checkers for Probability Generation