FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
23
stars
14
forks
source link
maintenance/merge_maintenance_mps_2022.2_into_maintenance_2022.3 #85
Closed
danielratiu closed 4 months ago