BEval is a tool to systematize the evaluation of B expressions from AtelierB using the different parameters with ProB.