2013 · 27 citations · 3 references
Network FlowsFormal SpecificationEngineeringRuntime VerificationHardware Verification LanguageProgram AnalysisSoftware TestingVerificationFormal MethodsSoftware AnalysisSystems EngineeringSoftware EngineeringComputer-aided VerificationComputer ScienceOpenflow Switch SpecificationFormal VerificationAbstract Object TheorySoftware Verification
No abstract available.
3
Ion Stoica, Robert Morris, David R. Karger et al. · 2001 · 9.6K citations
Software abstractions: logic, language and analysis
Choice Reviews Online · 2007 · 1.5K citations
A NICE way to test openflow applications
Marco Canini, Daniele Venzano, Peter Perešíni et al. · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 2012 · 417 citations · Full text