safety-assurance topic

List safety-assurance repositories

Stars

Forks

Watchers

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