Nous avons essayé les primes. Nous avons essayé les audits. Nous continuions à nous faire rekt. @The3D_ VP de l'ingénierie @aave rejoint le panel de clôture pour nous dire si les méthodes formelles sont la réponse. Cannes, 27 mars.