Explaining Safety Failures in NetKAT

no code implementations • 24 Feb 2021 • Georgiana Caltais, Hunkar Can Tunc

We propose an approach based on the Maude system for actually computing the undesired behaviours witnessing the forwarding of packets from i to e as above.

Formal Languages and Automata Theory Networking and Internet Architecture

DyNetKAT: An Algebra of Dynamic Networks

2 code implementations • 19 Feb 2021 • Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi, Hunkar Can Tunc

We implement our equational theory in DyNetiKAT -- a tool prototype, based on the Maude Rewriting Logic and the NetKAT tool, and apply it to a case study.

Networking and Internet Architecture Formal Languages and Automata Theory

Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

no code implementations • 30 Oct 2019 • Georgiana Caltais, Jean Krivine

The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019.