Browsing Theses by Author "Eid, Elias"
Now showing items 1-1 of 1
-
Profiling Alloy Models
Eid, Elias (University of Waterloo, 2021-09-03)Modeling of software-intensive systems using formal declarative modeling languages offers a means of managing software complexity through the use of abstraction and early identification of correctness issues by formal ...