Kaki: efficient concurrent update synthesis for SDN

DOI10.1145/3605952MaRDI QIDQ6611958

Kristian Ø. Nielsen, Lasse B. Kær, Jiří Srba, Nicklas S. Johansen, Rasmus G. Tollund, Andreas L. Madsen

Publication date: 27 September 2024

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

computer networkssecurity policiessoftware defined networkingconcurrent update synthesis

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Automatic synthesis of transiently correct network updates via Petri games
• Kaki: concurrent update synthesis for regular policies via Petri games
• \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL
• Scheduling loop-free network updates: it's good to relax!
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

This page was built for publication: Kaki: efficient concurrent update synthesis for SDN

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