Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique
Pour satisfaire les exigences du marché, les outils de vérification formelle doivent permettre aux concepteurs de vérifier des descriptions complexes et de raisonner sur des domaines de valeurs grands ou infinis. Il est nécessaire de se concentrer sur la correction d'algorithmes et sur les prop...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2001
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00002931 http://tel.archives-ouvertes.fr/docs/00/04/53/73/PDF/tel-00002931.pdf |