Verification of deep probabilistic models