← Toutes les actualités
Les LLM rendent la vérification formelle des logiciels envisageable à une bien plus grande échelle
Titre original (traduit automatiquement) : LLMs are making formal software verification feasible at a much larger scale
Titre original (traduit automatiquement) : LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
Source originale
anthropic.com