#
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
Nov 14, 2024 - 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."