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 ,
Construction of Finite Labelled Transition Systems from B Abstract Systems, Integrated Formal Methods, 1945. ,
DOI : 10.1007/3-540-40911-4_14
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. ,
Explicitation du contrle de dveloppements B vnementiel, AFADL'04, 2004. ,
jBTools : An experimental platform for the formal B method, PPPJ'02, pp.137-140, 2002. ,