Formalization of normal random variables in HOL

DOI10.1007/978-3-319-42547-4_4MaRDI QIDQ2817293zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(9)

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

Describes a project that uses

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)