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.
Sprache
Produkt-Hinweis
Broschur/Paperback
Klebebindung
Illustrationen
Maße
Höhe: 220 mm
Breite: 150 mm
Dicke: 4 mm
Gewicht
ISBN-13
978-3-659-38572-8 (9783659385728)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
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.
