Browsing Mathematics (Faculty of) by Supervisor "Day, Nancy A."
Now showing items 1-1 of 1
-
Improvements to Many-Sorted Finite Model Finding using SMT Solvers
(University of Waterloo, 2023-08-17)Formal modeling is a powerful tool in requirements engineering. By modeling a system before implementation, one can discover bugs before they appear in testing or production. Model finding (or instance finding) for a model ...