PV3 MOCS: Model Checking for Software defined networkschecks properties of a given network

Application domain/field

Type of tool

Model checker

Expected input



Implemented in UPPAAL. It uses partial order reduction.
Computer network LTL Model checking


Related papers

Towards Model Checking Real-World Software-Defined Networks (CAV '20)

Last publication date

14 July 2020

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.