Using service grammar to diagnose BGP configuration errors

DOI10.1016/J.SCICO.2003.12.007MaRDI QIDQ1885451zbMATH OpenOpenAlexFDO

Authors Xiaohu Qie, Sanjai Narain

Publication date 28 October 2004

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2003.12.007

zbMATH Keywords

requirements language

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Grammars and rewriting systems (68Q42)

Recommendations

• Network-wide configuration synthesis
• scientific article; zbMATH DE number 1696839
• Multi-layer framework for analysing and managing routing configurations
• Consistency-based diagnosis of configuration knowledge bases
• Reduction-based formal analysis of BGP instances

This page was built for publication: Using service grammar to diagnose BGP configuration errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1885451)