Generating Distributed Programs from Event-B Models

Horatiu Cirstea, Alexis Grall, Dominique Méry

Distributed algorithms offer challenges in checking that they meet their specifications. Verification techniques can be extended to deal with the verification of safety properties…