interface-specification topic

List interface-specification repositories

Stars

Forks

Watchers

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