Évelyne Contejean : Éviter les bugs informatiques
… est spécialiste de la démonstration automatique et des assistants à la preuve. Ce domaine de recherche de l’informatique … » L’objectif est d’apporter « la preuve » en amont, autant que possible, qu’il n’y aura aucun bug pour éviter des … aussi de nouvelles. « Le fait de rentrer de façon "intime" dans les preuves entraine une meilleure compréhension …
Published on: