Model checking software : 9th International SPIN Workshop Grenoble, France, April 11 13, 2002 : proceedings
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr e...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
2318 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
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, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, proceedings, Dragan Bošnački, Stefan Leue [eds.], 2002, Berlin, Springer, 1 vol. (X-257 p.), Lecture notes in computer science, 3-540-43477-1 • Model Checking Software, Texte imprimé, 9783662189474 |
Spis treści:
- Invited Talks
- SAT-Based Counterexample Guided Abstraction Refinement
- Abstract Interpretation: Theory and Practice
- Invited Tutorial
- SPIN Tutorial: How to Become a SPIN Doctor
- Tutorial
- Abstraction in Software Model Checking: Principles and Practice
- Software Model Checking
- Symmetry Reduction Criteria for Software Model Checking
- Bytecode Model Checking: An Experimental Analysis
- The Influence of Software Module Systems on Modular Verification
- Extending the Translation from SDL to Promela
- Algorithms and Theoretical Foundations
- Model Checking Knowledge and Time
- Partial Order Reduction in Directed Model Checking
- Local Parallel Model Checking for the Alternation-Free ?-Calculus
- Applications
- The Agreement Problem Protocol Verification Environment
- Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach
- Using SPIN to Verify Security Properties of Cryptographic Protocols
- Work in Progress
- Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN
- SPINning Parallel Systems Software
- Dynamic Bounds and Transition Merging for Local First Search
- Invited Industrial Presentations
- Comparing Symbolic and Explicit Model Checking of a Software System
- Industrial Model Checking Based on Satisfiability Solvers
- A Typical Testing Problem: Validating WML Cellphones
- Model Checking Tools
- Heuristic Model Checking for Java Programs
- System Specification and Verification Using High Level Concepts A Tool Demonstration
- Demonstration of an Automated Integrated Test Environment for Web-Based Applications
- ?SPIN: Extending SPIN with Abstraction.