Verification of Tail Distribution Bounds in a Theorem Prover

DOI10.1063/1.2790124zbMath1152.60312OpenAlexW1519298802MaRDI QIDQ5504370

Sofiène Tahar, Osman Hasan

Publication date: 22 January 2009

Published in: AIP Conference Proceedings (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/5c153263974c6b1868de4d407f19c0f0817180e9

Mathematics Subject Classification ID

Artificial intelligence (68T99) Distribution theory (60E99)

Related Items (2)

Towards the Formal Reliability Analysis of Oil and Gas Pipelines ⋮ Performance analysis and functional verification of the stop-and-wait protocol in HOL

This page was built for publication: Verification of Tail Distribution Bounds in a Theorem Prover