veriT was created by David Déharbe and Pascal Fontaine and is developed
in collaboration with other researchers.

Founder and Lead Developer:
Pascal Fontaine <pascal.fontaine@uliege.be>

Lead Developer:
Hans-Jörg Schurr <hans-jorg.schurr@inria.fr>

Founder:
David Déharbe

Developer:
Haniel Barbosa <hbarbosa@dcc.ufmg.br>

Contributions by:

Diego Caminha Barbosa de Oliveira
Ezequiel Bazan
Richard Bonichon
Thomas Bouton
Rodrigo Castano
Pablo Federico Dobal
Daniel El Ouraoui
Mathias Fleury 
Cláudia Tavares

Special thanks to:

Jasmin Blanchette
Chantal Keller



