Improvement of Formal Methods Approach using Pattern Perspective
Enas El-Sharawy
Broschiertes Buch

Improvement of Formal Methods Approach using Pattern Perspective

Versandkostenfrei!
Versandfertig in 6-10 Tagen
42,99 €
inkl. MwSt.
PAYBACK Punkte
21 °P sammeln!
Event-B is a formal method for the system level modeling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based tool set called Rodin. In this work 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. In this book, we proposed five phases to refine UML model and convert it to be a pattern for many benefit for inexperience designer. These advantages as reduce the proof obligation, reuse a model and to increa...