#
mbeddr
Here are 7 public repositories matching this topic...
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
prism architecture z3 spin gsn nusmv jetbrains-mps stpa contract-based-design requirements-specification safety-assurance interface-specification mbeddr
-
Updated
Jan 18, 2025 - JetBrains MPS
This repository contains the source code for the Docker images used to build mbeddr and other MPS-based projects.
-
Updated
Oct 19, 2023 - Dockerfile
Windows installer for Mbeddr
-
Updated
Nov 19, 2018 - NSIS
Improve this page
Add a description, image, and links to the mbeddr topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mbeddr topic, visit your repo's landing page and select "manage topics."