B2Visidia Application

A tool that generates Java code from an Event-B specification of a distributed algorithm

Version:

0.9.4

Author

Mohamed TOUNSI

Homepage

http://www.labri.fr/~tounsi