Skip to Content

Tag: Alloy

Alloy is a formal specification language used to model software systems. It can be used to both check models and find them. Alloy can also output visualizations, making it very useful for communication and domain modeling.

Alloy is a specialty of mine. I am on the Alloy board and currently in charge of writing the online documentation. I also offer consulting services.

Related Tags
  • TLA+: Another formal method I specialize in.
  • Formal Methods: The general discipline that TLA+ falls under.
Case Study Highlights