A mené une analyse approfondie du comportement du système au fil du temps. A vérifié les garanties de sécurité et de vivacité, en particulier autour de la signalisation de veto, de la sortie de colère et des transitions de verrouillage temporel.

Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.