Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / hub-se / PSP-UPPAAL
Property Specification Patterns for UPPAAL
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hub-se%2FPSP-UPPAAL
Stars: 4
Forks: 0
Open Issues: 0
License: None
Language: Java
Repo Size: 286 KB
Dependencies:
3
Created: over 3 years ago
Updated: 3 months ago
Last pushed: over 2 years ago
Last synced: 2 months ago
Topics: model-checking, specification-pattern, uppaal, verification
Files
Loading...
Readme
Loading...
Dependencies
Tool/pom.xml
maven
- dk.aau.cs.uppaal:juppaal 1.0.0
- org.jdom:jdom 1.1.3
- org.junit.jupiter:junit-jupiter 5.4.2 test