pheras, Spanish Forge: A Tool and Language for Teaching Formal Methods
Forge is a lightweight formal-methods tool, similar to Alloy 6, built with teaching in mind.
pheras, Spanish Forge: A Tool and Language for Teaching Formal Methods
Forge is a lightweight formal-methods tool, similar to Alloy 6, built with teaching in mind.