Interface ConformanceChecking<MODEL,​LOG,​RESULT>