This paper presents the design of Forge, a tool for teaching formal methods gradually. Forge
is based on the widely-used Alloy language and analysis tool, but contains numerous …