Exploit parallel computing on SMT solving | Prof. Natasha Sharygina Matteo Marescotti |
|
Breaking Symmetries in SMT Solvers | Prof. Natasha Sharygina Dr. Antti Hyvärinen |
|
Developing a smart versioning system | Prof. Natasha Sharygina Grigory Fedyukovich |
|
Developing your own SMT-based Model Checker | Prof. Natasha Sharygina Grigory Fedyukovich |