Master’s Thesis Presentation • Formal Methods • Improvements to Many-Sorted Finite Model Finding using SMT Solvers
Please note: This master’s thesis presentation will take place in DC 2564.
Owen Zila, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Nancy Day