sci-mathematics/eventb-animate
Animate Event-B models with the ProB model checker
Screenshots
-
eventb-animate-6.3~amd64ltsmin system-prob
View 
Download 
Browse License: Apache-2.0 Overlay: eventb-rossi -
eventb-animate-6.2~amd64ltsmin system-prob
View Download Browse License: Apache-2.0 Overlay: eventb-rossi -
eventb-animate-6.1-r1~amd64ltsmin system-prob
View Download Browse License: Apache-2.0 Overlay: eventb-rossi -
eventb-animate-6.0~amd64
View Download Browse License: Apache-2.0 Overlay: eventb-rossi -
eventb-animate-5.1~amd64
View Download Browse License: Apache-2.0 Overlay: eventb-rossi
Runtime Dependencies
eventb-animate-6.3
>=virtual/jre-21:*
ltsmin?
( sci-mathematics/ltsmin[prob] )
system-prob?
( ~sci-mathematics/prob-bin-1.15.1[ltsmin?
] )
>=dev-java/java-config-2.2.0-r3
ltsmin?
( sci-mathematics/ltsmin[prob] )
system-prob?
( ~sci-mathematics/prob-bin-1.15.1[ltsmin?
] )
>=dev-java/java-config-2.2.0-r3
eventb-animate-6.2
>=virtual/jre-21:*
ltsmin?
( sci-mathematics/ltsmin[prob] )
system-prob?
( ~sci-mathematics/prob-bin-1.15.1[ltsmin?
] )
>=dev-java/java-config-2.2.0-r3
ltsmin?
( sci-mathematics/ltsmin[prob] )
system-prob?
( ~sci-mathematics/prob-bin-1.15.1[ltsmin?
] )
>=dev-java/java-config-2.2.0-r3
eventb-animate-6.1-r1
>=virtual/jre-21:*
ltsmin?
( sci-mathematics/ltsmin[prob] )
system-prob?
( ~sci-mathematics/prob-bin-1.15.1[ltsmin?
] )
>=dev-java/java-config-2.2.0-r3
ltsmin?
( sci-mathematics/ltsmin[prob] )
system-prob?
( ~sci-mathematics/prob-bin-1.15.1[ltsmin?
] )
>=dev-java/java-config-2.2.0-r3