Home

Sterling is a web-based visualization for Alloy, providing more customizable visualizations than the built-in Alloy visualizer. Additionally, the Sterling architecture is designed in a way that allows other model checking tools to easily make use of its visualization capabilities.

This wiki is divided in to two sections, development and usage. The development section is for developers who wish to create custom builds of Sterling, and the usage section is for users who want to learn how to use Sterling.

• Development
  • Introduction
  • Setting Up a Development Environment
  • The Structure of a Sterling UI App
• Usage
  • Introduction