Enhancing Event-B Pattern

Eman Karam Elsayed

ISBN 10: 3659385727 / ISBN 13: 9783659385728

Published by LAP LAMBERT Academic Publishing Apr 2013, 2013

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 64 pp. Englisch.

Seller Inventory # 9783659385728

Bibliographic Details

• Title: Enhancing Event-B Pattern
• Publisher: LAP LAMBERT Academic Publishing Apr 2013
• Publication Date: 2013
• Language: English
• ISBN 10: 3659385727
• ISBN 13: 9783659385728
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 4D millimeters 220 millimeters width by 150 millimeters height by 4 millimeters depth
• Weight: 113 grams

About this title

Synopsis

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.

About the Author

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.