TY  - BOOK
AU  - Bošnački,Dragan
AU  - Leue,Stefan
ED  - International SPIN Workshop
TI  - Model checking software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings 
T2  - Lecture notes in computer science,
SN  - 9783540460176
AV  - QA76.76.V47 I58 2002
U1  - 005.1/4 21
PY  - 2002///
CY  - Berlin, New York
PB  - Springer
KW  - SPIN (Computer file)
KW  - Congresses
KW  - SPIN (Logiciel)
KW  - Congrès
KW  - fast
KW  - Computer software
KW  - Verification
KW  - Logiciels
KW  - Vérification
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and index; 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
N2  - This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system
UR  - https://link.springer.com/10.1007/3-540-46017-9
ER  -