Alloy: A Language and Tool for Exploring Software Designs
Exploiting a simple, expressive logic based on relations to describe designs and automate their analysis.
Daniel Jackson
Advertisement
Author Archives
A Direct Path to Dependable Software
Who could fault an approach that offers greater credibility at reduced cost?
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved