. Niveaux, Ceci ncessite d'laborer des heuristiques permettant de faire ces choix de visualisation. Enfin, une interface graphique est en cours d'laboration. Le but est de pouvoir zoomer sur certaines parties du systme de transitions, par exemple pour voir le dtail d'une transition ou d'un tat. G ´ enéSysten´enéSyst est diffuse sur le site du LSR l'adresse

R. Bert and F. Cave, Construction of Finite Labelled Transition Systems from B Abstract Systems, Integrated Formal Methods, 1945.
DOI : 10.1007/3-540-40911-4_14

S. Hamdane, Génération de systèmes de transitionétiquetésàtransition´transitionétiquetéstransitionétiquetés`transitionétiquetésà partir de la description d'un système d'´ evènements décrits avec le langage B, 2002.

M. [. Stouls and . Potet, Explicitation du contrle de dveloppements B vnementiel, AFADL'04, 2004.

J. C. Voisinet, B. Tatibouet, and A. Hammad, jBTools : An experimental platform for the formal B method, PPPJ'02, pp.137-140, 2002.