Mbeddr
Results
2
repositories owned by
Mbeddr
mbeddr.core
224
Stars
77
Forks
Watchers
The mbeddr core. An extensible C
mbeddr.formal
23
Stars
14
Forks
Watchers
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.