GitHub repository: DavidC0rtes/TraceMatcher
Primary language: Java
Description: Compute traces inclusion using biased & random traces with UPPAAL models.