Alloy: a language and tool for exploring software designs Page 1 66 COMMUNICATIONS OF
THE ACM | SEPTEMBER 2019 | VOL. 62 | NO. 9 contributed articles ALLOY IS A language and …

Alloy: Page 1 66 COMMUNICATIONS OF THE ACM | SEPTEMBER 2019 | VOL. 62 | NO. 9
contributed articles ALLOY IS A language and a toolkit for exploring the kinds of structures that …

For hardware designs, model checkers were often a good match. But for software designs
they were less ideal. Although some software design problems involve this kind of …

Alloy is A language and a toolkit for exploring the kinds of structures that arise in many
software designs. This article aims to give readers a flavor of Alloy in action, and some …