6 citations · 6 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SE2023
Crucible: Graphical Test Cases for Alloy Models
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…
cs.FL2023
Live Programming for Finite Model Finders
Allison Sullivan
Finite model finders give users the ability to specify properties of a system in mathematical logic and then automatically find concrete examples, called solutions, that satisfy th…