Contributions à l'analyse de systèmes par approximation d'ensembles réguliers
Dans cette thèse nous nous intéressons à une technique de vérification basée sur les approximations par réécriture dans le but de l'automatiser et d'étendre son domaine d'application. L'utilisation de cette technique permet la vérification de propriétés pour des systèmes informat...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université de Franche-Comté
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00643842 http://tel.archives-ouvertes.fr/docs/00/64/38/42/PDF/RC-these.pdf |