Précédent : Vérification formelle à l'aide de Remonter : Preuve Suivant : Outil de preuve pour le
Précédent : Vérification formelle à l'aide de Remonter
: Preuve Suivant : Outil de preuve pour
le
Le projet EURÉCA a participé à l'opération VIP (Verified Internet Protocols) du GIE DYADE. La tâche qui lui a été confiée consistait à examiner les aspects << preuves >> des protocoles Internet IPv4 et IPv6. L'étude s'est portée sur les aspects fragmentation et réassemblage de ces protocoles et une spécification de ces fonctionnalités a été fournie.