Formalization of Continuous Probability Distributions

DOI10.1007/978-3-540-73595-3_2MaRDI QIDQ3608759zbMATH OpenOpenAlexFDO

Authors Osman Hasan, Sofiène Tahar

Publication date 6 March 2009

Published in Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.8840

Mathematics Subject Classification ID

Probability distributions: general theory (60E05)

Recommendations

• Formalization of the standard uniform random variable
• Formalization of normal random variables in HOL
• Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
• Continuous random variable
• Verification of Expectation Properties for Discrete Random Variables in HOL

Cited in

(14)

• Using theorem proving to verify expectation and variance for discrete random variables
• Performance analysis and functional verification of the stop-and-wait protocol in HOL
• On the formalization of gamma function in HOL
• Formalization of normal random variables in HOL
• Extending ProbLog with Continuous Distributions
• Towards Formal Fault Tree Analysis Using Theorem Proving
• Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
• An approach for lifetime reliability analysis using theorem proving
• Reasoning about conditional probabilities in a higher-order-logic theorem prover
• Towards the formal reliability analysis of oil and gas pipelines
• Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation
• Formal probabilistic analysis of detection properties in wireless sensor networks
• Proofs of randomized algorithms in Coq
• Formalization of the standard uniform random variable

Describes a project that uses

Uses Software

• HOL
• Coq
• IBAL

This page was built for publication: Formalization of Continuous Probability Distributions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608759)