Compute traces inclusion using biased & random traces with UPPAAL models.
Primary LanguageJavaMozilla Public License 2.0MPL-2.0