Formalization of the standard uniform random variable

DOI10.1016/J.TCS.2007.05.009MaRDI QIDQ995466zbMATH OpenOpenAlexFDO

Authors Osman Hasan, Sofiène Tahar

Publication date 3 September 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://spectrum.library.concordia.ca/974501/1/formalization_of_the_standard_uniform_random_variable.pdf

zbMATH Keywords

theorem provingcontinuous probability distributionsformal verificationprobabilistic analysisHOL theorem prover

Mathematics Subject Classification ID

Probability distributions: general theory (60E05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formalization of Continuous Probability Distributions
• Formalization of normal random variables in HOL
• Using theorem proving to verify expectation and variance for discrete random variables
• Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
• Verification of Expectation Properties for Discrete Random Variables in HOL

Cites work

• scientific article; zbMATH DE number 3954145 (Why is no real title available?)
• scientific article; zbMATH DE number 3678917 (Why is no real title available?)
• scientific article; zbMATH DE number 3614066 (Why is no real title available?)
• scientific article; zbMATH DE number 1222285 (Why is no real title available?)
• scientific article; zbMATH DE number 1259143 (Why is no real title available?)
• scientific article; zbMATH DE number 1927425 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• scientific article; zbMATH DE number 3349081 (Why is no real title available?)
• scientific article; zbMATH DE number 958048 (Why is no real title available?)
• A probabilistic language based upon sampling functions
• A theory of type polymorphism in programming
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function

Cited in

(5)

• Verification of Expectation Properties for Discrete Random Variables in HOL
• Using theorem proving to verify expectation and variance for discrete random variables
• Formalization of normal random variables in HOL
• Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
• Formalization of Continuous Probability Distributions

Describes a project that uses

Uses Software

• ML
• HOL
• IBAL

This page was built for publication: Formalization of the standard uniform random variable

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