Abstract
In this chapter, some basic concepts of reliability theory, namely cumulative distribution function, survival function and hazard function, and reliability block diagrams, are described and their higher-order-logic formalization is presented. Some of the important properties of these reliability concepts are formally verified using the HOL4 theorem prover to facilitate reasoning about reliability of engineering systems.
Reference19 articles.
1. Abbasi, N. (2012). Formal reliability analysis using higher-order logic theorem proving. (PhD thesis). Concordia University, Montreal, Canada.
2. Formal Lifetime Reliability Analysis Using Continuous Random Variables
3. Formal Reliability Analysis Using Theorem Proving
4. An approach for lifetime reliability analysis using theorem proving
5. Abd-Allah, A. (1997). Extending reliability block diagrams to software architectures (Technical Report USC-CSE-97-501). Dept. of Computer Science, Univ. Southern California.