Welcome

Sterling is a web-based visualizer for Alloy, providing enhanced graph and table views in an effort to make instances easier to understand. It is included in a custom build of Alloy, which can be downloaded here.

News

All Posts...