Guillaume BUREL's Homepage (Guillaume Burel's photo)

Enseignements

Preuve, analyse statique et vérification runtime

Cours du parcours CILS du master d'informatique de Paris-Saclay.

Conseils pour installer Frama-C :

Option S5 Programmation raisonnée

Démonstration automatique :

Compilation (ICO)

Langages et systèmes formels (ILSF)

Projet informatique (S2 2016)

Programmation impérative avancée (S2 2016)

Cours donnés pour le master IST-IE des universités Henri Poincaré et Nancy 2

Les serveurs (2008-09)

Transparents des cours

Partie sur la standardisation d'Internet

TD n°1

TD n°2

Voici une liste de RFC qui définissent les protocoles vus en cours. Il n'est pas demandé que vous les compreniez tous en détail, mais vous devriez être capable d'en extraire certaines informations.

Mise en oeuvre de serveurs d'application (2007-08)