{"product_id":"enhancing-event-b-pattern-von-eman-karam-elsayed-gaber-el-sharawy-enas-el-sharawy","title":"Enhancing Event-B Pattern","description":"\u003cp\u003eEvent-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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659385728\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783659385728","offer_id":39448569610333,"sku":"9783659385728","price":39.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/7c876e64-d5cd-427d-9628-afced501fedd.jpg?v=1773465593","url":"https:\/\/shop.autorenwelt.de\/en\/products\/enhancing-event-b-pattern-von-eman-karam-elsayed-gaber-el-sharawy-enas-el-sharawy","provider":"Autorenwelt Shop","version":"1.0","type":"link"}