Formalization of normal random variables in HOL

DOI10.1007/978-3-319-42547-4_4zbMATH Open1344.68212OpenAlexW2496670332MaRDI QIDQ2817293FDOQ2817293

Authors: M. Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar 

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

Recommendations

• Formalization of the standard uniform random variable
• Formalization of Continuous Probability Distributions
• Formal lifetime reliability analysis using continuous random variables
• Probabilistic analysis of dynamic fault trees using HOL theorem proving
• Theorem Proving in Higher Order Logics

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Three chapters of measure theory in Isabelle/HOL
• Towards the formal reliability analysis of oil and gas pipelines
• On the formalization of the Lebesgue integration theory in HOL
• Formalization of Continuous Probability Distributions
• Performance analysis and functional verification of the stop-and-wait protocol in HOL
• Using theorem proving to verify expectation and variance for discrete random variables
• Formalization of entropy measures in HOL
• Formal probabilistic analysis of detection properties in wireless sensor networks
• Title not available (Why is that?)
• Formal Analysis of Memory Contention in a Multiprocessor System
• Formalization of finite-state discrete-time Markov chains in HOL
• Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
• Evaluation of anonymity and confidentiality protocols using theorem proving

Cited In (9)

• Dynamic dependability analysis of shuffle-exchange networks
• Formal lifetime reliability analysis using continuous random variables
• Formalization of the standard uniform random variable
• Theorem Proving in Higher Order Logics
• A formally verified proof of the central limit theorem
• Formalization of Continuous Probability Distributions
• Using theorem proving to verify expectation and variance for discrete random variables
• On the formalization of gamma function in HOL
• An approach for lifetime reliability analysis using theorem proving

Uses Software

• Isabelle
• HOL

This page was built for publication: Formalization of normal random variables in HOL

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