Projets

QUARTEFT – QUAlifiable Real TimE Fiacre Transformation (FNRAE: Fondation de Recherche pour l’Aéronautique et l’Espace)

Participants: LAAS-CNRSIRITPAREO (LORIA et INRIA Nancy – Grand-Est), AIRBUS FranceEllidiss

 

CORiAS – Conception et réalisation d’assistants à la preuve en surdéduction modulo (ARC Inria: Collaborative Research Initiatives)

Participants: TypiCal (INRIA Saclay – Ile-de-France), PAREO (LORIA et INRIA Nancy – Grand-Est)

 

SSURF – Safety and Security under FOCAL (ANR: national program on computer systems security and safety)

Participants: SPI – LIP6 – UPMC with Safe RiverPAREO (LORIA et INRIA Nancy – Grand-Est), CPR – CEDRIC – CNAMBERTIN Technologies

 

REWERSE – Reasoning on the Web with Rules and Semantics (Network of Excellence within the 6th Framework Programme)

 

MODULOGIC – design of a platform for building certified software (ACI SI: national program for understanding, defining and guaranteeing security and dependability at the system level)

Participants: FOC (LIP6, CEDRIC, INRIA-Rocquencourt), LOGICAL (INRIA-Futurs et LIX), MIRÓ (INRIA-Sophia-Antipolis), PROTHEO (LORIA et INRIA-Lorraine)

 

MANIFICO – non-intrusive meta-compilation of matching with constraints (RNTL)

Participants: Contraintes (INRIA-Rocquencourt), ILOG, PROTHEO (LORIA et INRIA-Lorraine)