Enhancing Event-B Pattern

Event-B is a formal method for the system level modeling and analysis of dependable applications. Event-B language is for modelling and reasoning about complex and discrete systems. Also it is a notation used for developing mathematical model. In this book we proposed using Automatic theorem provers known as SMT-solvers with event-B pattern. The benefits of that are to reduce the proving effort, to reuse a model and to increase the degree of automation. The proposed approach has been applied successfully on two different case studies.

Master of computer science from Cairo University 1999, and computer science PhD 2005 from Alazhar university. She works as a Lecture of computer science in Alazhar University.She published sixteen papers until 2013 in data mining, ontology engineering, e-learning,operating system and softwere engineering.