atelier-b : IDE for formal modelling and verification with the B method ( https://www.atelierb.eu/ )
b2program : Code generator from B to Java, C++, Python, Rust, and TypeScript ( https://github.com/favu100/b2program )
evbt : Event-B tool for code generation and documentation ( https://codeberg.org/viklauverk/EventBTool )
eventb-animate : Animate Event-B models with the ProB model checker ( https://github.com/eventb-rossi/eventb-animate )
eventb-checker : Standalone validator for Event-B models ( https://github.com/eventb-rossi/eventb-checker )
eventb-to-txt : Convert Rodin Event-B models to plain-text format ( https://github.com/eventb-rossi/eventb-to-txt )
prob-bin : Animator, constraint solver and model checker for B, Event-B, CSP, TLA+, Z ( https://prob.hhu.de/ )
prob2-ui : JavaFX-based animator and model checker built on ProB ( https://prob.hhu.de/ )
rodin : IDE for formal modelling and verification with Event-B ( https://www.event-b.org/ )
tlc4b : Model-check classical B specifications by translating them to TLA+ ( https://github.com/hhu-stups/tlc4b )
Add an ebuild in portage :
The ebuild is now in the portage tree.
You can also use layman : emerge layman then layman -a eventb-rossi
For Paludis use this rsync : rsync://gentoo.zugaina.org/eventb-rossi-portage
If you have a problem : ycarus(-at-)zugaina.org