Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bosnacki, Dragan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Leue, Stefan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2318
• Θέματα: Computer simulation.; Software engineering.; Computer logic.; Programming languages (Electronic computers).; Simulation and Modeling.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.

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´...

Πίνακας περιεχομένων:

• 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.