Runtime monitoring of 5G network slicing using \textsc{STAn}

DOI10.1016/J.JLAMP.2025.101059MaRDI QIDQ6983148zbMATH OpenFDO

Authors Laura Panizo, María del Mar Gallardo, Francisco Luque-Schempp, Pedro Merino

Publication date 15 May 2025

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

Full work available at URL https://doi.org/10.1016/J.JLAMP.2025.101059

zbMATH Keywords

5G networkevent-driven temporal logicnetwork slicingruntime monitoringruntime verification

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Monitoring hyperproperties
• Quantified event automata: towards expressive and efficient runtime monitors
• Real-time logics: Complexity and expressiveness
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Runtime monitoring of 5G network slicing using \textsc{STAn}

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