drools-verifier is the usual suggestion for such things.

It comes bundled with a set of validation\verification rules but you can add your own too.

On 31 May 2012 08:42, paco <fifi_njikam@yahoo.fr> wrote:
I am looking for something that can help me to detect the following errors:
redundancies, subsumptions, equivalences, incoherent references...........
Thanks

--
View this message in context: http://drools.46999.n3.nabble.com/Looking-for-Drools-audit-tool-tp4017686p4017693.html
Sent from the Drools: User forum mailing list archive at Nabble.com.
_______________________________________________
rules-users mailing list
rules-users@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/rules-users