Formal Probabilistic Analysis: A Higher-Order Logic Based Approach [chapter]

Osman Hasan, Sofiène Tahar
2010 Lecture Notes in Computer Science  
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
more » ... ariables 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.
doi:10.1007/978-3-642-11811-1_2 fatcat:hhk4xlpnevflrf2w3ijc3hweni