6 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
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…