Semester projects

Exploit parallel computing on SMT solving Prof. Natasha Sharygina

Matteo Marescotti
pdf
Breaking Symmetries in SMT Solvers Prof. Natasha Sharygina

Dr. Antti Hyvärinen
pdf
Developing a smart versioning system Prof. Natasha Sharygina

Grigory Fedyukovich
pdf
Developing your own SMT-based Model Checker Prof. Natasha Sharygina

Grigory Fedyukovich
pdf