Analyse statique : de la théorie à la pratique ; analyse statique de code embarqué de grande taille, génération de domaines abstraits
Il est important que les logiciels pilotant les systèmes critiques (avions, centrales nucléaires, etc.) fonctionnent correctement — alors que la plupart des systèmes informatisés de la vie courante (micro-ordinateur, distributeur de billets, téléphone portable) ont des dysfonctionnements visibles. I...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00397108 http://tel.archives-ouvertes.fr/docs/00/39/71/08/PDF/HDR_Monniaux.pdf http://tel.archives-ouvertes.fr/docs/00/39/71/08/ANNEX/HDR_Monniaux_slides.pdf |