Le prouveur utilise le mécanisme des ressources mis en place dans l’AtelierB. Celui-ci permet
de spécifier des options de fonctionnement prises en compte lors de l’ouverture du
projet B (cf. le paragraphe 2.6. “Paramétrer son AtelierB” du Manuel Utilisateur de
l’AtelierB).