A (not) NICE way to verify the openflow switch specification: formal modelling of the openflow switch using alloy

Authors:
Natali Ruchansky;Davide Proserpio
Affiliations:
Boston University, Boston, MA, USA;Boston University, Boston, MA, USA
Venue:
Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM
Year:
2013

Citing 3
Cited 0

Chord: A scalable peer-to-peer lookup service for internet applications

Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
A NICE way to test openflow applications

NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract