Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / paultristanwagner / model-checking
Practice environment implementing a model checker for LTL, CTL and CTL* formulas
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/paultristanwagner%2Fmodel-checking
Stars: 7
Forks: 0
Open Issues: 0
License: None
Language: Java
Repo Size: 562 KB
Dependencies: pending
Created: about 1 year ago
Updated: 5 months ago
Last pushed: 4 months ago
Last synced: 4 months ago
Topics: buchi-automaton, ctl, ctl-star, hacktoberfest, ltl, model-checking, omega-regular-languages, transition-systems