|
[SLBK14]
Richard Skowyra, Andrei Lapets, Azer Bestavros and Assaf Kfoury.
A Verification Platform for SDN-Enabled Applications.
In Proc. 2014 IEEE International Conference on Cloud Engineering.
2014.
[Presents a verification platform for software defined networks with multiple tool connections, including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|