• BridgeQC
• BridgeQC.PropertyChecker
• PatternChecker
• VoIDTool