facebooktwittergooglerss

Connexion adhérents

/!\ REPORTÉ /!\ Intro à la vérification formelle de programmes, en Coq

Du 07 Avril 2020 19:00 jusqu'au 07 Avril 2020 20:30

Nous explorerons à un haut niveau quelques techniques de vérifications de programmes, fonctionnels ou impératifs, et découvrirons comment encoder ces techniques dans l'assistant de preuves Coq, pour raisonner rigoureusement sur le bon fonctionnement de petits programmes ou transformations de programmes.


Où nous trouver ?

AQUINUM
C/O Le Node
12 rue des Faussets
33000 Bordeaux