All Git Users → mbeddr

2 open source projects by mbeddr

[ Open user page on Github ]

The mbeddr core. An extensible C

✭ 184

java c embedded

2. mbeddr.formal

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

✭ 16

JetBrains MPS Roff Promela HTML Batchfile c prism architecture z3 spin gsn nusmv stpa contract-based-design requirements-specification safety-assurance interface-specification

1-2 of 2 user projects