Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.].
Contributor(s): Bošnački, Dragan | Leue, StefanMaterial type: TextSeries: SerienbezeichnungLecture notes in computer science: 2318.; Lecture notes in computer science: Publisher: Berlin ; New York : Springer, ©2002Description: 1 online resource (x, 257 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540460176; 3540460179Subject(s): SPIN (Computer file) -- Congresses | SPIN (Computer file) | Computer software -- Verification -- Congresses | Computer software -- VerificationGenre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:International SPIN Workshop (9th : 2002 : Grenoble, France): Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedingsDDC classification: 005.1/4 LOC classification: QA76.76.V47 | I58 2002Other classification: 54.52 | DAT 325f | SS 4800 Online resources: Click here to access online
|Item type||Current location||Collection||Call number||Status||Date due||Barcode||Item holds|
Includes bibliographical references and index.
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.
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.