FortNOX is an extension to the open source NOX OpenFlow controller. It automatically checks whether the new flow rules violate security policies. FortNOX can detect rule contradictions even in the presence of dynamic flow tunneling using set action rules.
For more information, refer to http://www.openflowsec.org/Technologies.html.