Octant, la vérification réseau simplifiée - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Octant, la vérification réseau simplifiée

Pierre-Léo Bégay
  • Fonction : Auteur
  • PersonId : 1090519
Pierre Crégut
  • Fonction : Auteur
  • PersonId : 1090520
Jean-François Monin
  • Fonction : Auteur
  • PersonId : 1090521

Résumé

Octant est un outil simplifiant la vérification de propriétés de connectivité dans des réseaux SDN. Il se base sur l'implémentation Z3 d'un Datalog orienté réseau et l'étend avec des optimisations globales transformant des programmes génériques, simples à développer et analyser mais ne passant pas à l'échelle, en des versions spécialisées efficaces.
Fichier principal
Vignette du fichier
AFADL2020_paper_3.pdf (333.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03135683 , version 1 (09-02-2021)

Identifiants

  • HAL Id : hal-03135683 , version 1

Citer

Pierre-Léo Bégay, Pierre Crégut, Jean-François Monin. Octant, la vérification réseau simplifiée. 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2020, Jun 2020, Vannes, France. ⟨hal-03135683⟩
35 Consultations
18 Téléchargements

Partager

Gmail Facebook X LinkedIn More