https://github.com/mbeddr/mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

architecture contract-based-design gsn interface-specification jetbrains-mps mbeddr nusmv prism requirements-specification safety-assurance spin stpa z3

Last synced: 10 Mar 2025