Actor-based model checking for software-defined networks

DOI10.1016/j.jlamp.2020.100617zbMath1455.68101arXiv2001.10022OpenAlexW3092046399MaRDI QIDQ1996852

Alexandra Silva, Miguel Isabel, Miguel Gómez-Zamalloa, Matteo Sammartino, Albert Rubio, Elvira Albert

Publication date: 26 February 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/2001.10022

zbMATH Keywords

verificationmodel checkingconcurrencyactor-based modellingsoftware-defined networks

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

From symbolic constraint automata to Promela

Uses Software

• PMaude
• NetKAT
• VeriCon
• Syco
• ABS
• VeriFlow
• Anteater
• Kuai

Cites Work

• Defining conditional independence using collapses
• Modeling and efficient verification of wireless ad hoc networks
• SDN-actors: modeling and verification of SDN programs
• Context-sensitive dynamic partial order reduction
• A Coalgebraic Decision Procedure for NetKAT
• Tractable Refinement Checking for Concurrent Objects
• A program logic for concurrent objects under fair scheduling
• Statistical Model Checking for Composite Actor Systems
• Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
• Dynamic partial-order reduction for model checking software
• NetKAT
• Peephole Partial Order Reduction
• A Complete Guide to the Future
• Constrained dynamic partial order reduction

This page was built for publication: Actor-based model checking for software-defined networks