1. A computer-implementable method comprising: receiving at least two designs for a rule-based system; and computing at least one functional discrepancy between said at least two designs utilizing decision diagrams.