SDN-SafeCheck

swMATH39746MaRDI QIDQ55446FDOQ55446

Author name not available (Why is that?)

Official website: https://www.sen.uni-konstanz.de/research/research/tools/sdn-safecheck/

Described by source

• Explaining safety failures in NetKAT

This page was built for software: SDN-SafeCheck