Sampling-based solution methods for verifying random or chance properties.