Ecosyste.ms: Repos

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

GitHub / mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mbeddr%2Fmbeddr.formal

Stars: 23
Forks: 15
Open Issues: 5

License: apache-2.0
Language: JetBrains MPS
Repo Size: 135 MB
Dependencies: 6

Created: over 6 years ago
Updated: 7 days ago
Last pushed: 8 days ago
Last synced: 7 days ago

Topics: architecture, contract-based-design, gsn, interface-specification, jetbrains-mps, mbeddr, nusmv, prism, requirements-specification, safety-assurance, spin, stpa, z3

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/main.yml actions
    build.gradle.kts maven