formal_methods_23

UPPAAL homework for the Formal Methods for Real and Concurrent Systems 2023 class @ Politecnico di Milano

Uppaal tool

Authors:
Filippo Scaramuzza
Riccardo Strina
Pietro Lodi
Luca Gerin

Name		Name	Last commit message	Last commit date
Latest commit History 84 Commits
docs		docs
model_evaluation		model_evaluation
README.md		README.md
digital_twin.xml		digital_twin.xml
digital_twin_stochastic.xml		digital_twin_stochastic.xml

Navigation Menu