|
Habilitation
à Diriger des Recherches
Vlad
Rusu
Irisa/Inria
Rennes - 8 décembre 2006
Formal
verification and conformance testing for reactive systems
Vlad Rusu
vidéo
; audio
seul ;
transparents
(pdf)
Résumé:
Je présenterai quelques contributions à la vérification
formelle, au test de conformité, ainsi qu'à leur intégration
pour la validation formelle des systèmes réactifs. Ces travaux
sont représentatifs des deux directions de recherche que je me
suis attaché à développer depuis quelques années
:
d'une part, associer à la preuve formelle des techniques d'abstraction
et de compositionnalité pour permettre de passer à l'échelle
et de traiter des études de cas réalistes ; et d'autre part,
combiner la vérification et le test de conformité pour valider,
au delà des spécifications formelles, des implémentations
boite-noire de systèmes réactifs.
consulter les vidéos
des HDR depuis 2001
Pour lire les présentations
audio/vidéo vous devez disposer de RealPlayer.
Vous pouvez télécharger une version gratuite sur le site
de Real
(c)
pôle audiovisuel de l'Irisa
|
|