Browsing Waterloo Research by Subject "automated analysis"
Now showing items 1-1 of 1
-
ALDB: Debugging Alloy Models of Behavioural Requirements
(IEEE, 2020-08)Declarative modelling languages, such as Alloy, are becoming popular for describing behavioural requirements very early in system development because automated analysis of these models provides valuable feedback. Typically, ...