/DAFSABasedConformance

Automata-based conformance checking technique

No issues in this repository yet.