TY  - BOOK
AU  - Dwyer,Matthew
ED  - International SPIN Workshop
ED  - ACM Sigsoft.
TI  - Model checking software: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings 
T2  - Lecture notes in computer science
SN  - 9783540451396
AV  - QA76.76.V47 I58 2001
U1  - 005.1/4 21
PY  - 2001///
CY  - Berlin, New York
PB  - Springer
KW  - SPIN (Computer file)
KW  - Congresses
KW  - fast
KW  - Computer software
KW  - Verification
KW  - Electronic books
KW  - Conference papers and proceedings
N1  - On cover: ACM SIGSOFT; Includes bibliographical references and index; From model checking to a temporal proof; Doron Peled, Lenore Zuck --; Model checking if your life depends on it: a view from intel's trenches; Rob Gerth --; Model-checking infinite state-space systems with fine-grained abstractions using SPIN; Marsha Chechik, Bebet Devereux, Arie Gurfinkel --; Implementing LTL model checking with net unfoldings; Javier Esparza, Keijo Heljanko --; Directed explicit model checking with HSF-SPIN; Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue --; Addressing dynamic issues of program model checking; Flavio Lerda, Willem Visser --; Automaticallu validating temporal safety properties of interfaces; Thomas Ball, Sriram K. Rajamani --; Verification experiments on the MASCARA protocol; Guoping Jia, Susanne Graf --; Using SPIN for feature interaction analysis-a case study; Muffy Calder, Alice Miller --; Behavioural analysis of the enterprise javabens component architecture; Shin Nakajima, Tetsuo tamai --; p2b: a translation utility for linking promela and symbolic model checking (tool paper); Michael Baldamus, Jochen Schröder-Babo --; Transformations for model checking distributed java programs; Scott D. Stoller, Yanhong A. Liu --; Distribured LTL model-checking in SPIN; Jiri Barnat, Lubos Brim, Jitka Stříbrná --; Parallel state space construction for model-checking; Hubert Garavel, Radu Mateescu, Irina Smarandache --; Model checking systems of replicated processes with spin; Fabrice derepas, Paul Gastin --; SPIN-based model checker for telecommunication protocols; Vivek K. Shanbhag, K. Gopinath --; Modeling and verifying a price model for congestion control in computer networks using promela/spin; Clement Yuen, Wei Tjioe --; Model checking project at philips research; Leszek Holenderski --; Applications of model checking at honeywell laboratories; Darren Cofer [and others] --; Coarse-granular model checking in practice; Bernhard Steffen, Tiziana Margaria, Volker Braun
N2  - This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields
UR  - https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/3-540-45139-0
ER  -