Welcome

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

A preview of the Sterling 1.0 release is now available! This release brings a complete overhaul of the user interface, and will include a scripting view as well as a built-in evaluator. Please visit the Download page to take it for a spin. The official Sterling 1.0 release will be available in February 2020.