2 papers
cs.SE2024
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph
Guanxuan Wu, Allison Sullivan
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built to automated testing and debug…
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…