Actor-based model checking for Software-Defined Networks

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

Research output: Contribution to journalArticlepeer-review

28 Downloads (Pure)
Original languageEnglish
Article number100617
Number of pages25
JournalJournal of Logical and Algebraic Methods in Programming
Early online date12 Oct 2020
Publication statusPublished - Jan 2021


  • Actor-based modelling
  • Concurrency
  • Model checking
  • Software-Defined Networks
  • Verification

Cite this