Vérification formelle de systèmes. Contribution à la réduction de l'explosion combinatoire
La vérification formelle de systèmes concurrents temps réels se heurte au problème de l'explosion du nombre d'états à explorer. Ce problème connu sous le nom ``d'explosion combinatoire'' à plusieurs causes. Cette thèse s'intéresse à deux d'entre-elles. · Pour lutte...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
INSA de Toulouse
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00011360 http://tel.archives-ouvertes.fr/docs/00/05/45/13/PDF/these_por.pdf |