Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / iskorini / CTLModelChecker
A simple model checking program for CTL developed for the course of Metodi Formali Per la Verifica di Sistemi.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/iskorini%2FCTLModelChecker
Stars: 0
Forks: 0
Open Issues: 0
License: gpl-3.0
Language: Python
Repo Size: 2.76 MB
Dependencies:
0
Created: over 7 years ago
Updated: over 7 years ago
Last pushed: over 7 years ago
Last synced: over 1 year ago
Topics: ctl, model-checking, networkx, pyparsing, python
Files
No dependencies found