 |
Publications de l'Institut d'Informatique et de Mathématiques Appliquées de Grenoble |  |
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.
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
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)