Ecosyste.ms: Repos

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

GitHub / nlintas / Verified-Safety-Railway-Promela-Spin-Model

TerminalLine: Modelling and verifying a safe railway network using Promela and the SPIN Model Checker. Uses Linear Temporal Logic (LTL) formulas.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/nlintas%2FVerified-Safety-Railway-Promela-Spin-Model

Stars: 2
Forks: 2
Open Issues: 0

License: mit
Language: HTML
Repo Size: 749 KB
Dependencies: 0

Created: over 2 years ago
Updated: about 1 month ago
Last pushed: about 1 month ago
Last synced: about 1 month ago

Topics: linux-app, promela, safety-critical, spin

Files
    Loading...
    Readme
    Loading...

    No dependencies found