Browsing Waterloo Research by Author "Eid, Elias"
Now showing items 1-1 of 1
-
Static Profiling of Alloy Models
Eid, Elias; Day, Nancy A. (IEEE, 2023-02)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 ...