safety-assurance

There are 1 repositories under safety-assurance topic.

  • mbeddr/mbeddr.formal

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

    Language:JetBrains MPS2393414