research
∙
07/13/2023
Crucible: Graphical Test Cases for Alloy Models
Alloy is a declarative modeling language that is well suited for verifyi...
share
research
∙
10/22/2021
REACH: Refining Alloy Scenarios by Scope
Writing declarative models has numerous benefits, ranging from automated...
research
∙
07/23/2018
