axelitama / Formal-Methods-Project-2023 Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Final project of the course Formal Methods for Concurrent and Real-Time Systems at Politecnico di Milano

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.gitattributes		.gitattributes
FM_Homework_2023.pdf		FM_Homework_2023.pdf
README.md		README.md
project.xml		project.xml
project_stochastic.xml		project_stochastic.xml
report.pdf		report.pdf

Repository files navigation

Formal-Methods-Project-2023

Final project of the course Formal Methods for Concurrent and Real-Time Systems at Politecnico di Milano

About

Final project of the course Formal Methods for Concurrent and Real-Time Systems at Politecnico di Milano

university-project formal-methods polimi uppaal politecnico-di-milano

Report repository

Languages

XML 100.0%