An approach for lifetime reliability analysis using theorem proving

DOI10.1016/J.JCSS.2013.05.002zbMath1277.68216OpenAlexW2007291179MaRDI QIDQ386029

Naeem Abbasi, Osman Hasan, Sofiène Tahar

Publication date: 13 December 2013

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2013.05.002

zbMATH Keywords

statistical propertiestheorem provingrandom variablesfailure rateformal methodshazard functionreliability analysisHOLfractile functionlifetime analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Towards Formal Fault Tree Analysis Using Theorem Proving ⋮ Towards the Formal Reliability Analysis of Oil and Gas Pipelines

Uses Software

• Matlab
• ML
• HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A brief account of runtime verification
• Formalization of Continuous Probability Distributions
• A general procedure for deriving distributions
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• Advanced Probability Theory, Second Edition,
• Formal Lifetime Reliability Analysis Using Continuous Random Variables
• Formal Reliability Analysis Using Theorem Proving
• On the Formalization of the Lebesgue Integration Theory in HOL

This page was built for publication: An approach for lifetime reliability analysis using theorem proving