LC2B tool

LC2B is a new approach to generate automatically Event-B specifications of distributed algorithms encoded in local computations model. This approach includes a graphical tool which helps user to introduce his algorithm as a set of rewriting rules and transform it to Event-B code. The resulting code can be introduced to the B2ViSiDia tool in order to generate a Java implementation for visualising and experimenting the algorithm in the ViSiDia environment.