What is the project about?

Communication networks have become a critical infrastructure of our digital society. This introduces stringent requirements on dependability.

We envision more automated approaches to operate communication networks, overcoming today’s manual and error-prone approach.

We develop methods and software tools which perform what-if analysis of computer networks (especially MPLS and Segment Routing networks). That is, checking policy compliance etc. under network failures.


We contributed an invited blog article to the NetVerify.Fun platform: https://netverify.fun/aalwines/

Read More


Stefan Schmid gives an interview on dependable networks at ZeroOutage. more info

Read More