search

mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
https://sites.google.com/site/fastenroot/home
Apache License 2.0
23 stars 14 forks source link

safety.gsn:Implemnented smart reference for goal structure elements … #39

Closed jonasborg912 closed 4 years ago

jonasborg912 commented 4 years ago

…base

danielratiu commented 4 years ago

LGTM