/uppex

Uppex - extend UPPAAL with annotations for properties in companion MS Excel files

Primary LanguageScalaMIT LicenseMIT

No issues in this repository yet.