Master’s Thesis Presentation • Formal Methods — Linking Alloy with SMT-based Finite Model Finding
Plese note: This master’s thesis presentation will be given online.
Khadija Tariq, Master’s candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Nancy Day