Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Verification of Algorithms, Languages and Systems
CIFRE ADACORE

CIFRE
Jan 2011 - Apr 2014

Group : Verification of Algorithms, Languages and Systems
Principal investigator : MARCHÉ Claude

Administrator : 
Affiliation : INRIA

ADACORE



Research activities
  Automated Proof, SMT and Applications
  Deductive Verification of Programs

Participants


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

° NEXT
NEXT