Rodin 64 bit
From Event-B
Jump to navigationJump to searchSince release 2.4, Rodin is available for 64 bit platforms (Windows, Linux, Mac).
Since release 3.4, Rodin is no longer available for 32 bit platforms.
Check the latest download:
http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/