For information on Event-B/Rodin, see resources (login at bottom right)
The SEL Virtual Machine is available here. For further help, see here (login for the password to access the VM).