Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotat...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2067 |
| 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: | • Modeling and verification of parallel processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000, Revised Tutorial Lectures, Franck Cassez ... (eds.), Berlin, Springer, 2001, 1 vol. (X-223 p.), Lecture notes in computer science, 3-540-42787-2 • Modeling and Verification of Parallel Processes, Texte imprimé, 9783662194003 |
Taula de continguts:
- Tutorials and Papers
- Model Checking: A Tutorial Overview
- Theorem Proving for Verification
- Composition and Abstraction
- UPPAAL - Now, Next, and Future
- HMSCs as Partial Specifications...with PNs as Completions
- Industrial Applications of Model Checking
- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area
- Annotated Bibliographies
- Verification of Systems with an Infinite State Space
- Testing Transition Systems: An Annotated Bibliography
- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
- Mobile Processes: A Commented Bibliography.