Sur la vérification de systèmes infinis
Cette thèse traite du problème de la vérification de systèmes ayant un nombre infini d'états. Ces systèmes peuvent être décrits par plusieurs formalismes tels que des algèbres de processus ou des automates finis munis de structures de données non-bornées (automates à pile, réseaux de Petri ou s...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1998
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00004890 http://tel.archives-ouvertes.fr/docs/00/04/62/16/PDF/tel-00004890.pdf |