Benjamin Delaware

Langages de programmation Vérification de l'intégrité de la structure des données avec des méthodes automatisées

Une méthode pour vérifier automatiquement les structures de données par rapport aux invariants de représentation en utilisant des techniques avancées.

2025-08-23T18:31:54+00:00 ― 8 min lire

Génie logiciel Avancées dans l'automatisation des preuves avec les LLMs

Explorer de nouvelles méthodes pour améliorer la vérification des preuves en ingénierie logicielle.

2025-06-08T12:45:36+00:00 ― 10 min lire