safety-assurance

There are 0 repository under safety-assurance topic.

mbeddr / mbeddr.formal
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
requirements-specification architecture safety-assurance gsn stpa interface-specification contract-based-design nusmv spin prism z3 jetbrains-mps mbeddr
Language:JetBrains MPS 23