La vérification formelle fournit des garde-fous. Le meilleur moment pour commencer à utiliser des outils comme @quint_lang, c'est aujourd'hui, pas demain