Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
David Déharbe from Universidade Federal do Rio Grande de Norte, Brazil, visited VeriDis from July 9 to July 27 and from October 15 to October 26 in the context of the Inria-CNPq project SMT-SAVeS. The work resulted in several improvements of the veriT solver.
Thomas Sturm, from MPI für Informatik, and Ulrich Loup and Florian Corzilius, from RWTH Aachen, visited VeriDis from October 22nd to 26th, in the context of the ADT veriT for discussing techniques for non-linear arithmetic in SMT solving.