Publication | Open Access
A (not) NICE way to verify the openflow switch specification
27
Citations
3
References
2013
Year
Unknown Venue
Network FlowsFormal SpecificationEngineeringRuntime VerificationHardware Verification LanguageProgram AnalysisSoftware TestingVerificationFormal MethodsSoftware AnalysisSystems EngineeringSoftware EngineeringComputer-aided VerificationComputer ScienceOpenflow Switch SpecificationFormal VerificationAbstract Object TheorySoftware Verification
No abstract available.
| Year | Citations | |
|---|---|---|
2001 | 9.6K | |
2007 | 1.5K | |
2012 | 417 |
Page 1
Page 1