Browsing Computer Science by Author "Zila, Owen"
Now showing items 1-1 of 1
-
Improvements to Many-Sorted Finite Model Finding using SMT Solvers
Zila, Owen (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 ...