Formalization of Continuous Probability Distributions
From MaRDI portal
Publication:3608759
DOI10.1007/978-3-540-73595-3_2zbMath1213.68570OpenAlexW1863642815MaRDI QIDQ3608759
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.8840
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Towards Formal Fault Tree Analysis Using Theorem Proving ⋮ An approach for lifetime reliability analysis using theorem proving ⋮ Formal probabilistic analysis of detection properties in wireless sensor networks ⋮ Proofs of randomized algorithms in Coq ⋮ Reasoning about conditional probabilities in a higher-order-logic theorem prover ⋮ Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays ⋮ Formalization of Normal Random Variables in HOL ⋮ Towards the Formal Reliability Analysis of Oil and Gas Pipelines ⋮ 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 ⋮ Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation ⋮ On the formalization of gamma function in HOL
Uses Software
This page was built for publication: Formalization of Continuous Probability Distributions
