1 paper · 1 filter
Adam G. Emerson, Allison Sullivan
Alloy is a declarative modeling language that is well suited for verifying system designs. Alloy models are automatically analyzed using the Analyzer, a toolset that helps the user…