interface-specification

There are 0 repository under interface-specification 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 27