Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Liège, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, v...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1032 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Partial-order methods for the verification of concurrent systems, an approach to the state-explosion problem, Patrice Godefroid, 1996, New York, Springer, 1 vol. (142 p.), Lecture notes in computer science, 3-540-60761-7 • Partial-Order Methods for the Verification of Concurrent Systems, Texte imprimé, 9783662181522 |
Taula de continguts:
- Concurrent systems and semantics
- Using partial orders to tackle state explosion
- Persistent sets
- Sleep sets
- Verification of safety properties
- Model checking
- Experiments
- Conclusions.