ProB can be used from Atelier B4.0 to prove and animate B model software and events thanks to the extension mecanism which allows for Atelier B to be connected to other tools. From Version 1.3.0, ProB generates the parameters files, allowing it to interface with Atelier B.
