Research Teams

INRIA
  • Spades - Sound Programming of Adaptive Dependable Embedded Systems
LIG
  • ConVeCS - Construction of Verified Concurrent Systems
  • CORSE - Compiler Optimizations and Runtime Systems
TIMA
  • AMfoRS - Architectures and Methods for Resilient Systems
VERIMAG
  • PACSS - Proofs and Code analysis for Safety and Security
  • Synchrone - Languages and tools for the design, simulation and verification of embedded systems
  • Tempo - Timed and Hybrid Systems
Projects may be found on the PCARRE web site.