Conformance Checking using Formal Methods