Explaining safety failures in NetKAT

DOI10.1016/j.jlamp.2021.100676OpenAlexW3156639476MaRDI QIDQ2043810

Georgiana Caltais, Hünkar Can Tunç

Publication date: 3 August 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2102.12448

zbMATH Keywords

safetyaxiomatisationssoftware defined networksfailure analysisMaude systemNetKAT

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

SDN-SafeCheck

Uses Software

• Maude
• AProVE
• NetKAT
• Frenetic
• Nettle

Cites Work

• Unnamed Item
• Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
• A completeness theorem for Kleene algebras and the algebra of regular events
• Analyzing program termination and complexity automatically with \textsf{AProVE}
• A Coalgebraic Decision Procedure for NetKAT
• Causality Checking for Complex System Models
• Frenetic
• NetKAT

This page was built for publication: Explaining safety failures in NetKAT