eventb-animate
Animate Event-B models with the ProB model checker
eventb-animate animates Event-B models with the ProB model checker without requiring a Rodin Platform installation: random animation, invariant checking, and trace save/replay.
homepage ↗ github: eventb-rossi/eventb-animate
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| eventb-rossi GitHub ↗ | 6.3 | 5 | 31 h | details › |
Versions & arches
| Version | Overlay | amd64 | Committed | |
|---|---|---|---|---|
| 6.3 ≈ | eventb-rossi | amd64 testing | 2 d | view · download · history ↗ |
| 6.2 ≈ | eventb-rossi | amd64 testing | 7 d | view · download · history ↗ |
| 6.1-r1 ≈ | eventb-rossi | amd64 testing | 8 d | view · download · history ↗ |
| 6.0 ≈ | eventb-rossi | amd64 testing | 21 d | view · download · history ↗ |
| 5.1 ≈ | eventb-rossi | amd64 testing | 33 d | view · download · history ↗ |
Use flags of 6.3
- ltsmin Enable LTSmin model checking with either the bundled or system ProB kernel
- system-prob Use sci-mathematics/prob-bin instead of the bundled ProB kernel