RoLex: Configuration Verification Suite



Two distinct tools
Pattern-based constraint checker
Control flow analyzer

Send requests for more tools, features, etc!
http://nms.lcs.mit.edu/bgp/rolex/