Oméga-Algèbre : théorie et application en vérification de programmes
Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2006-2007 === L’algèbre de Kleene est la théorie algébrique des automates finis et des expressions régulières. Récemment, Kozen a proposé un cadre de travail basé sur l’algèbre de Kleene avec tests (une variante de l’algè...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | French |
| Published: |
Université Laval
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/18704 |