Équipes de recherche

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
Des exemples de projets sont consultables sur le site internet PCARRE.