Introduction to Forge
Topics covered
- What is Forge. Why Forge.
- Differences to Alloy.
- Rewriting the family model in Forge.
- Concrete instances in Forge.
- Testing commands of Forge.
Resources
- Family model in Forge: family.rkt
- Simple graph spec in Forge: graph.rkt
- A script in Forge core’s language manipulating the spec: graph-script.rkt