Formalization of the standard uniform random variable

DOI10.1016/j.tcs.2007.05.009zbMath1159.68479OpenAlexW2167390667MaRDI QIDQ995466

Sofiène Tahar, Osman Hasan

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 provingprobabilistic analysisformal verificationcontinuous probability distributionsHOL theorem prover

Mathematics Subject Classification ID

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

Uses Software

• ML
• HOL
• IBAL

Cites Work

• A theory of type polymorphism in programming
• Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• A probabilistic language based upon sampling functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item