Event-B is a formal method for modeling and verifying consistency of systems In formal methods such as Event-B  refinement is the process of enriching or modifying an abstract model in a step-wise manner in order to manage the development of complex and large systems