Techniques d'abstraction dans la verification des systèmes concurrents
Comme les systèmes matériels et logiciels grandissent de façon continue en échelle et fonctionnalités, la probabilité d'erreurs subtiles de- vient toujours plus grande. Les techniques d'abstraction, souvent basées sur l'interprétation abstraite de Cousot, fournissent une méthode pour...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Paris-Est
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00623170 http://tel.archives-ouvertes.fr/docs/00/62/31/70/PDF/Enea-These.pdf http://tel.archives-ouvertes.fr/docs/00/62/31/70/ANNEX/Enea-Resume_-_franA_ais.pdf |