Sites Inria

There are 2 Results with the keyword : "Proval"

PROVAL research-team © Inria Saclay - Île-de-France


Best paper award pour three members of the Proval project-team


Mohamed Iguernelala, Evelyne Contejean and Sylvain Conchon, from the Proval research-team, have won the EATC award (European Association for Theoretical Computer Science)  for the ETAPs 2011 best paper (European Joint Conferences on Theory and Practice of Software).


Home > Centre > Saclay > News > Best paper award pour trois chercheurs de Proval


© INRIA / Photo C. Lebedinsky

Program proving

Competition in programme proving

Françoise Breton – Technoscope - 1/02/2012

Six of the 29 participating teams occupied the top slots at the end of the programme proving competition organised for VSSTE 2012 (Verified Software: Theories, Tools and Experiments), which took place on January 28-29 in Philadelphia. Jean-Christophe Filliâtre and Andrei Paskevich, two of the competition organisers and members of the LRI (laboratory for computer science) and Proval team, told us more about the competition and its implications.


Home > Centre > Saclay > News > La vérification de programmes en compétition