Skip to Main content Skip to Navigation
Conference papers

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

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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03135683
Contributor : Pierre-Léo Bégay <>
Submitted on : Tuesday, February 9, 2021 - 10:51:53 AM
Last modification on : Wednesday, February 24, 2021 - 3:27:31 AM

File

AFADL2020_paper_3.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03135683, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

26

Files downloads

8