Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Formal methods for concurrent and real-time systems #106

Open
sanpietr opened this issue Sep 12, 2024 · 1 comment
Open

Formal methods for concurrent and real-time systems #106

sanpietr opened this issue Sep 12, 2024 · 1 comment
Labels
Italy

Comments

@sanpietr
Copy link

Course code, if applicable: 088882
University hosting the course: Politecnico di Milano
Contact person: Pierluigi San Pietro, [email protected]
Concepts taught: Hoare Logic,Labelled Transition Systems,Linear Temporal Logic (LTL),Model Checking,Timed Automata,Temporal Logic
Tools used: Uppaal
Webpage: https://tinyurl.com/26z2c78v
Year/Level: MSc
@sanpietr sanpietr added the Italy label Sep 12, 2024
@jff jff changed the title Formal methods for concurrent and real-time systems. Formal methods for concurrent and real-time systems Oct 10, 2024
@jff
Copy link
Member

jff commented Oct 10, 2024

Thank you, @sanpietr ! The course is now in the public database.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Italy
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jff @sanpietr