Model checking software : 8th International SPIN Workshop Toronto, Canada, May 19 20, 2001 : proceedings
This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers prese...
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
2057 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Model checking software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, proceedings, Matthew Dwyer (ed.), 2001, New York, Springer, 1 vol. (X-311 p.), Lecture notes in computer science, 3-540-42124-6 • Model Checking Software, Texte imprimé, 9783662204634 |