Training in SMT

Aim:

The goal of the training is that participants to learn how to use different SMT solvers for encoding different problems and their solutions

Hosting institution: RWTH, Aachen University, Germany
Period: 19.05.2021 – 04.06.2021
Duration: 9 days
Program