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

Application domain/field

Type of tool

Model checker

Expected input

?

Internals

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

Links

Last commit date

? (unknown, no public repository)

Related papers

https://doi.org/10.1007/978-3-030-53291-8_8 (CAV '20)

Last publication date

14 July 2020

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.