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.2 #84
Closed
danielratiu closed 6 months ago