Bonjour,
j'ai spécifié un protocole en utilisant le langage HLPSL.
Mon problème est que lorsque je vérifie formellement ma spécification en utilisant l'outil span, j'arrive pas à afficher le graphe qui montre que ma spécification est juste ou non.
est ce qu'il y a quelqu'un qui peut m'aider