Acumen Business has announced the next release of the Policy Verificator. The 1.3 release contains some interesting new features
1. Generation of a full rule dependency network graph.
2. Interactive rule dependency Graph
There is also a gettingstarted page that guides you through one of the examples.
You can download the product here