-
Notifications
You must be signed in to change notification settings - Fork 0
Case Studies
Lars Grunske edited this page Sep 14, 2022
·
4 revisions
We looked for case studies using UPPAAL to assemble a set of models that we could use to evaluate our tool. Especially, we tried to identify publications that provide UPPAAL model automatons and specifications. A list of the papers we identified can be found below, more information on the papers are provided when you click on the respective link:
Specification Pattern Catalogue for UPPAAL
Evaluation