safety-assurance topic
List
safety-assurance repositories
mbeddr.formal
23
Stars
15
Forks
Watchers
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.