efremov@linux.com Denis Efremov https://github.com/eventb-rossi/eventb-animate/issues eventb-rossi/eventb-animate 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.