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...
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
1032 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
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 |
| LEADER | 03286nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 945176 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155217003 | ||
| 020 | |a 9783540494447 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.2 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Godefroid, Patrice, |d 19..- | |
| 245 | 1 | 0 | |a Partial-order methods for the verification of concurrent systems : |b an approach to the state-explosion problem |c Patrice Godefroid. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1032 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Concurrent systems and semantics -- Using partial orders to tackle state explosion -- Persistent sets -- Sleep sets -- Verification of safety properties -- Model checking -- Experiments -- Conclusions. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Logiciels |x Essais | ||
| 776 | 0 | |0 024752487 |t Partial-order methods for the verification of concurrent systems |o an approach to the state-explosion problem |f Patrice Godefroid |d 1996 |c New York |n Springer |p 1 vol. (142 p.) |s Lecture notes in computer science |z 3-540-60761-7 | |
| 776 | 0 | |t Partial-Order Methods for the Verification of Concurrent Systems |b Texte imprimé |z 9783662181522 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60761-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KS7SHDJS-W |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747912998 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60761-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750925779 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60761-7 |z Accès INSA CVL | |
| 997 | |0 945176 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||