Osman Hasan

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the s...

Formalized Probability Theory and Applications Using Theorem Proving

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in ...