gitlab.com / SJort / advancedalgorithms
A class I followed about modelling and verifying a lock in UPPAAL.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/SJort%2Fadvancedalgorithms
Stars: 0
Forks: 0
Open issues: 0
License: None
Language:
Dependencies parsed at: Pending
Created at: over 5 years ago
Updated at: over 2 years ago
Last synced at: over 2 years ago
Topics: UPPAAL, kripke, lock, logic, test, verify
Loading...