mbeddr / mbeddr.formal Star 23 Code Issues Pull requests 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 May 20, 2024 JetBrains MPS
alinaduca / IP_Lab2 Star 1 Code Issues Pull requests Repo for working on the second Software Engineering (IP) assignment, class 2023 software-engineering use-case-diagram requirements-specification Updated Jul 9, 2023