Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.

Osman Hasan, Sofine Tahar

Browse the full IFM paper archive.