The prover uses a resource management system built in Atelier B. This system enables to modify the prover behaviour through options that are taken into account when a B project is opened (cf. paragraph 2.6. “Atelier B customization” of Atelier B User Manual).