Sélectionnez l'assertion et cliquez-la avec le bouton droit de la souris pour ouvrir un menu. Pour renommer l'assertion, cliquez sur Rename (Renommer).
Sélectionnez l'assertion et cliquez sur l'icône Rename dans la barre d'outils.
Pour changer le nom de l'assertion sur le nom d'assertion par défaut, sélectionnez l'assertion et cliquez sur Revert to Default Name (Rétablir le nom par défaut).