Browsing Theses by Author "Hossain, Tamjid"
Now showing items 1-1 of 1
-
Dash+: Extending Alloy with Replicated Processes for Modelling Transition Systems
Hossain, Tamjid (University of Waterloo, 2022-09-27)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 ...