Logique du temps arborescent pour la spécification et la preuve de programmes
Nous étudions les logiques du temps arborescent en tant qu'outils de spécification et de preuve des programmes. Les différentes logiques modales et temporelles sont comparées par rapport aux deux critères suivantes: puissance d'expression et décidabilité. Cette étude porte essentiellement...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1984
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00011545 http://tel.archives-ouvertes.fr/docs/00/05/80/45/PDF/Graf.Suzanne.pdf |