Mattias Nyberg

Un nouvel outil associe les LLM et la vérification formelle pour créer du code plus sûr.