apromore/DAFSABasedConformance

Automata-based conformance checking technique