# Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving

> Research article (IEEE Systems Journal, 2021) · cited 18× · AI/ML

**Wikidata**: [openalex:W3167034277](https://www.wikidata.org/wiki/openalex:W3167034277)  
**Source**: https://4ort.xyz/entity/event-tree-reliability-analysis-of-safety-critical-systems-using-theorem-proving