Le projet MULTIVAL (Validation of Multiprocessor Multithreaded Architectures) porte sur la modélisation formelle, la vérification fonctionnelle et l'évaluation de performance pour des architectures matérielles à haute valeur ajoutée et comportant un haut degré de parallélisme asynchrone.

De gauche à droite: David Champelovier, Frédéric Lang, Olivier Ponsini (derrière), Radu Mateescu (devant), Yvain Thonnart, Jacques Abily, Jean-Philippe Cousin, Meriem Zidouni, Ghassan Chehaibar, Sahar Foroutan, Hubert Garavel, Holger Hermanns, Wendelin Serwe, Sylvie Lesmanne, Etienne Lantreibecq (devant), Riccardo Locatelli (derrière), Richard Hersemeule, François Bertrand.