Verification of Tail Distribution Bounds in a Theorem Prover

DOI10.1063/1.2790124MaRDI QIDQ5504370zbMATH OpenOpenAlexFDO

Authors Osman Hasan, Sofiène Tahar

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)

Cited in

(2)

• Performance analysis and functional verification of the stop-and-wait protocol in HOL
• Towards the formal reliability analysis of oil and gas pipelines

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504370)