#

safety-assurance

Here is 1 public repository matching this topic...

mbeddr / mbeddr.formal

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 Dec 23, 2024
JetBrains MPS

Improve this page

Add a description, image, and links to the safety-assurance topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the safety-assurance topic, visit your repo's landing page and select "manage topics."