|
 
|
[ROU06b] Découpe de programmes concurrents en vue de leur vérification
Mémoire de Thèse : Soutenue le: 01 January 2006, : Découpe de programmes concurrents en vue de leur vérification,
motcle:
Résumé:
L'analyse automatique de programmes concurrents est un défi scientifique qui soulève de nombreux problèmes difficiles. Un des plus complexes est celui de lutter contre l'explosion combinatoire engendrée par l'entrelacement des tâches.
Le travail de cette thèse concerne l'étude et la mise en oeuvre d'une technique de découpe de programmes concurrents. L'objectif de cette découpe est de ne conserver que la partie du programme pouvant réellement influer sur la propriété recherchée. L'approche développée opère "à la volée" ce qui permet une bonne intégration dans le processus suivi par Quasar outil de vérification automatique de programmes concurrents que nous développons au laboratoire Cédric (http://quasar.cnam.fr).
BibTeX
| @phdthesis { | |||
| ROU06b, | |||
| title | = | "{Découpe de programmes concurrents en vue de leur vérification}", | |
| author | = | "P. Rousseau", | |
| year | = | 2006, | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| } |
