Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
Structure Editor for Building Software Models
Mohammad Nurullah Patwary, Ana Jovanovic, Allison Sullivan
Alloy is well known a declarative modeling language. A key strength of Alloy is its scenario finding toolset, the Analyzer, which allows users to explore all valid scenarios that a…
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…