A Verification Platform for SDN-Enabled Applications
PRISM 4.0: Verification of Probabilistic Real-time Systems