Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Automatic Analysis of LAN Infrastructures

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

Date
Le jeudi 14 juin 2007 à 11:00
Lieu
Amphi 109 N (bât L. de Vinci)
Orateur
Christoph Weidenbach (MPI-I Saarbrücken, Germany)

Important guarantees for LAN infrastructures include connectivity, error detection/recovery, robust changes and security. In the talk I will develop a LAN infrastructure model in first-order logic enabling automatic analysis of such properties. The model starts at the ethernet layer of the TCP/IP stack and ranges up to application protocols such as DHCP.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents