| Laboratoire |
LRI
Université PARIS Sud et INRIA Futurs |
| Nom
de l'équipe ou du projet |
LogiCal |
| Responsable |
Gilles
Dowek (INRIA) Christine Paulin (LRI) |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
- LRI : chercheurs
2, enseignants-chercheurs 4, thesards 4
- INRIA Futurs
: chercheurs 4, thesards 3, ingenieur 1
|
| Axes
de recherche (liste de mots-clefs) |
- Assistant
à la démonstration
- Spécification
et preuve de programmes
- Démonstration
automatique
- Domaines
d'applications : automates temporisés, modélisation des réels,
contrôle aérien
|
| Relations
industrielles ( liste de partenaires industriels) |
France
Telecom, Dassault Aviation, Schlumberger, Trusted Logic, NASA |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
- RNRT: CALIFE
(fin décembre 2002)
- RNTL: AVERROES
(labélisé en avril 2002)
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
- Working
group TYPES
- Projet
IST VERIFICARD
|
| Plates-formes |
développement de l'assistant Coq |
| Suggestions |
|