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

Application domain/field

• Software-defined networks (SDN)
• Computer networks
• Model checking

Type of tool

Model checker

Expected input

• Software-defined network (SDN)
• Property (LTL without next-step operator)

?

Internals

Implemented in UPPAAL. It uses partial order reduction.