Alloy is a language for describing structures and a tool for exploring them | Heykuki News