Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / imitator-model-checker / imitator

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imitator-model-checker%2Fimitator

Stars: 26
Forks: 12
Open Issues: 65

License: gpl-3.0
Language: OCaml
Repo Size: 50 MB
Dependencies: 5

Created: almost 10 years ago
Updated: about 1 month ago
Last pushed: 8 days ago
Last synced: 8 days ago

Topics: model-checker, model-checking, parameter-synthesis, reachability-synthesis, real-time-systems, timed-automata

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/workflow.yml actions
    Dockerfile docker