What challenges does Implementation Conformance Checking address?

GQ-0035