PV2 SyNETgenerates configurations for routers such that given requirements are satisfied

Synthesises network wide configurations given forwarding requirements.

Application domain/field

Type of tool

Synthesis tool for network configurations

Expected input

Format:

Expected output

Datalog input that results in a forwarding state satisfying the requirements. From this Datalog input one can derive the configurations for routers.

Internals

Uses Z3 to check whether the generated SMT constraints are satisfiable and to obtain a model.

Comments

License: Apache v2.0
Computer network

Links

Last commit date

7 December 2017

Related papers

https://doi.org/10.1007/978-3-319-63390-9_14 (CAV '17)

Last publication date

13 July 2017

Related tools

Tools that produce network-wide configurations from routing requirements: Propane, Genesis, ConfigAssure

ProVerB specific

View/edit source (Markdown)



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