GitHub / UPPAALModelChecker / UPPAAL-Meta

This is the offcial meta repo for issue reporting, feature request and public roadmap for the development of UPPAAL.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UPPAALModelChecker%2FUPPAAL-Meta
PURL: pkg:github/UPPAALModelChecker/UPPAAL-Meta

Stars: 1
Forks: 0
Open issues: 68

License: None
Language:
Size: 6.84 KB
Dependencies parsed at: Pending

Created at: almost 5 years ago
Updated at: almost 4 years ago
Pushed at: over 4 years ago
Last synced at: over 2 years ago

Topics: uppaal

Loading...