Rehearsal: A Configuration Verification Tool for Puppet - View it on GitHub