Formal Reliability Analysis of an Integrated Power Generation System using Theorem Proving

Proof Script: HOL-Script-power_generation

Author Biography: I completed my PhD in Information Technology (2012-17) under the supervision of Dr. Osman Hasan. Currently, I’m currently working as postdoc at HVG, Concordia University, Montreal, Canada and also serving as a Research Associate at SAVe lab.