Vérification et Spécification des Systèmes Distribués
Cette thèse se place dans le cadre de la vérification automatique des systèmes distribués. Elle aborde le problème de la spécification pour de tels systèmes, qui consiste à définir un formalisme logique pour décrire des propriétés des comportements de systèmes. On en attend qu'il soit facile d&...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00322322 http://tel.archives-ouvertes.fr/docs/00/32/23/22/PDF/These-Benjamin-Lerman.pdf |