Sciweavers

Share
ASM
2010
ASM

Formal Probabilistic Analysis: A Higher-Order Logic Based Approach

9 years 2 months ago
Formal Probabilistic Analysis: A Higher-Order Logic Based Approach
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time requirements. Recently, a significant amount of formalization has been done in higherorder logic that allows us to conduct precise probabilistic analysis using theorem proving and thus overcome the limitations of the simulation. Some major contributions include the formalization of both discrete and continuous random variables and the verification of some of their corresponding probabilistic and statistical properties. This paper describes the infrastructures behind these capabilities and their utilization to conduct the probabilistic analysis of real-world systems.
Osman Hasan, Sofiène Tahar
Added 09 Jul 2010
Updated 09 Jul 2010
Type Conference
Year 2010
Where ASM
Authors Osman Hasan, Sofiène Tahar
Comments (0)
books