- Anglický jazyk
Enhancing Event-B Pattern
Autor: Eman Karam Elsayed
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
36.17 €
bežná cena: 41.10 €
O knihe
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.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2013
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Anglický jazyk
- ISBN: 9783659385728