Analysis and VERification for the Reliability Of Embedded Systems
1
Vérification de propriétés quantitatives et fonctionnelles
Lot 1 : architecture, intégration
Lot 2 : applications
Lot 3 : test, animation
Sous-lot 1 : animation
Sous-lot 2 : test
Lot 4 : technologie de modélisation
Sous-lot 1 : modélisation compositionnelle
Sous-lot 2 : probabilités
Sous-lot 3 : complexité en espace et en temps
Lot 5 : technologie de vérification
Sous-lot 1 : ajouter la réécriture au noyau de calcul de Coq
Sous-lot 2 : vérification compositionnelle
Sous-lot 3 : mécanisation de la déduction
This document was translated from L
A
T
E
X by
H
E
V
E
A and H
A
C
H
A
.