Parsifal: Preuves Automatiques et Raisonnement
sur des SpécIFicAtions Logiques

Parsifal has been a team within LIX since September 2003 and an INRIA project-team ("équipes-projet-INRIA" EPI) since 1 October 2007. During the AERES evaluation of INRIA-Saclay in February 2009, the Parsifal EPI presented an overview of its work during 2005-2008.