Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Initiatives

Participation In International Programs

Cooperation with Universidade Federal do Rio Grande de Norte, Brazil

Participants : David Déharbe, Pablo Dobal, Pascal Fontaine, Stephan Merz.

VeriDis has a close working relationship with a team at Universidade Federal do Rio Grande de Norte (UFRN), Brazil, and more specifically with Prof. David Déharbe. Pascal Fontaine visited Natal in early 2013. The project is centered around the development and applications of the veriT solver (section  5.1 ), of which David Déharbe and Pascal Fontaine are the main developers. Our cooperation was also supported by the Inria-CNPq project SMT-SAVeS from 2010 throughout early 2013.

A new STIC AmSud project has been approved that will start in 2014 and involves a team at the University of Córboba in Argentina, the team at UFRN, and VeriDis. It is again centered on SMT, with a particular focus on quantifiers and modal logic [21] .