Browsing Waterloo Research by Author "Hossain, Tamjid"
Now showing items 1-1 of 1
-
Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems
Hossain, Tamjid; Day, Nancy A. (IEEE, 2021-09)Modelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly, but lacks explicit constructs for describing ...