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 a software tool which performs what-if analysis of computer network configurations (especially MPLS and SR networks). That is, checking policy compliance etc. under network failures.