To obtain the B2Visidia software click here.
To download the User manual and the Software installation, click here.
B2Visidia is a new approach to implement and to visualize Event-B specifications of distributed algorithms. This approach is implemented by a tool that generates a Java implementation of distributed algorithms specifications for Visidia. B2Visidia is based on the formal method Event-B and the Visidia environment for visualizing and experimenting distributed algorithms formally proved.