sci-mathematics/rodin
IDE for formal modelling and verification with Event-B
Screenshots
-
rodin-3.10.0_rc2-* ~amd64
View 
Download 
Browse License: EPL-1.0 EPL-2.0 Overlay: eventb-rossi -
rodin-3.9.0-* ~amd64
View Download Browse License: EPL-1.0 EPL-2.0 Overlay: eventb-rossi
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.