Formalization of fault trees in higher-order logic: a deep embedding approach

DOI10.1007/978-3-319-47677-3_17zbMath1393.68034arXiv1608.06392OpenAlexW2964054832MaRDI QIDQ1660781

Waqar Ahmad, Osman Hasan

Publication date: 16 August 2018

Full work available at URL: https://arxiv.org/abs/1608.06392

zbMATH Keywords

theorem provinghigher-order logicfault tree

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation

Uses Software

• ReliaSoft
• ASENT

This page was built for publication: Formalization of fault trees in higher-order logic: a deep embedding approach