HI-LITE Region IDF May 2010 - May 2013 Group : Toccata Principal investigator : MARCHÉ Claude Administrator :  Affiliation : INRIA
HI-LITE Research activities   Automated Proof, SMT and Applications   Formalisation of (Specification and Programming) Languages in Proof Assistants   Deductive Verification of Programs Participants More information : http://www.open-do.org/projects/hi-lite/

° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF