Formalization of Normal Random Variables in HOL

DOI10.1007/978-3-319-42547-4_4zbMath1344.68212OpenAlexW2496670332MaRDI QIDQ2817293

Osman Hasan, Sofiène Tahar, Muhammad Qasim, Maissa Elleuch

Publication date: 30 August 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42547-4_4

Mathematics Subject Classification ID

Probabilistic measure theory (60A10) Distributed systems (68M14) Classical measure theory (28A99)

Related Items (1)

A formally verified proof of the central limit theorem

Uses Software

• Isabelle
• HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal probabilistic analysis of detection properties in wireless sensor networks
• 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
• Three Chapters of Measure Theory in Isabelle/HOL
• Formalization of Entropy Measures in HOL
• Formalization of Finite-State Discrete-Time Markov Chains in HOL
• Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
• Formalization of Continuous Probability Distributions
• Formal Analysis of Memory Contention in a Multiprocessor System
• Towards the Formal Reliability Analysis of Oil and Gas Pipelines
• On the Formalization of the Lebesgue Integration Theory in HOL
• Evaluation of anonymity and confidentiality protocols using theorem proving

This page was built for publication: Formalization of Normal Random Variables in HOL