SDN-actors: modeling and verification of SDN programs

DOI10.1007/978-3-319-95582-7_33zbMath1460.68052OpenAlexW2808846026MaRDI QIDQ2024371

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

Publication date: 4 May 2021

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10060372/

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Actor-based model checking for software-defined networks, SDN-actors: modeling and verification of SDN programs

Cites Work

• SDN-actors: modeling and verification of SDN programs
• Context-sensitive dynamic partial order reduction
• Tractable Refinement Checking for Concurrent Objects
• A program logic for concurrent objects under fair scheduling
• Statistical Model Checking for Composite Actor Systems
• Dynamic partial-order reduction for model checking software
• A Complete Guide to the Future