Information Flow Constraint Conformance

Analyzes whether the information flows in the specified design conform to the restrictions and assumptions.