Building Specifications in the Event-B Institution

Marie Farrell, Rosemary Monahan, James F. Power

This paper describes a formal semantics for the Event-B specification language using the theory of institutions. We define an institution for Event-B, EVT, and prove that it meets…