Formalization of Reliability Block Diagrams in Higher-order Logic

Abd-Allah, 1997 Ahmad Ahmed, 2014, Towards the formal reliability analysis of oil and gas pipelines, vol. 8543, 30 ASENT Barham, 2003, Xen and the art of virtualization, ACM SIGOPS Oper. Syst. Rev., 37, 164, 10.1145/1165389.945462 Bilintion, 1992 Boyd, 1986, Reliability and maintainability for fire protection systems, 963 Brown, 2007, Automated reasoning in Higher-Order Logic, College Publications Church, 1940, A formulation of the simple theory of types, J. Symb. Log., 5, 56, 10.2307/2266170 Fitting, 1996 Gordon, 1989, Mechanizing programming logics in higher-order logic, 387 Harrison, 1996 Huffman, 2009, Availability analysis of a solar power system with graceful degradation, 348 Klion, 2012 Ko Kolowrocki, 2009, Reliability and risk analysis of multi-state systems with degrading components, Electr. J. Int. Group Reliab., 2, 86 Li, 2014, Research on the inherent reliability and the operational reliability of the supply chain, u- and e-service, Sci. Technol., 7, 104 Lin, 2010, A mesh network reliability analysis using reliability block diagram, 975 Mhamdi, 2011, On the formalization of the lebesgue integration theory in HOL, vol. 6172, 387 Milner, 1977, A theory of type polymorphism in programming, J. Comput. Syst. Sci., 17, 348, 10.1016/0022-0000(78)90014-4 Norman, 2014 PRISM Ramasamy, 2007, Architecting dependable systems using virtualization, 1 ReliaSoft Robidoux, 2010, Automated modeling of dynamic Reliability Block Diagrams using Colored Petri Nets, IEEE Trans. Syst. Man Cybern., Part A, Syst. Hum., 40, 337, 10.1109/TSMCA.2009.2034837 Shaikh, 2007, On modeling the reliability of data transport in wireless sensor networks, 395 Slind, 2008, A brief overview of HOL4, vol. 5170, 28 Wei, 2011, Dependability modeling and analysis for the virtual data center of cloud computing, 784 Zhang, 2008, Reliability evaluation of different pipe section in different period, 1779